Automated verification of critical systems 2010 (AVOCS 2010) ; [... the 10th International Workshop on Automated Verification of Critical Systems, ... held 20 - 23 September 2010 in Düsseldorf, Germany]

Bibliographische Detailangaben

Körperschaft:	AVoCS (BerichterstatterIn)
Weitere Verfasser:	Bendisposto, Jens Marco (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. Elsevier 2014 erschienen 2013
Schriftenreihe:	Science of computer programming 81
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!