Automated verification of critical systems (AVoCS 2013)

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	AVoCS (VerfasserIn)
Weitere Verfasser:	Schneider, Steve (HerausgeberIn), Treharne, Helen (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam Elsevier November 2015
Schriftenreihe:	Science of computer programming volume 111, part 2
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Aus dem Vorwort: The thirteenth International Workshop on the Automated Verification of Critical Systems was held at the University of Surrey on September 11th-13th, 2013
Beschreibung:	Seiten 213-362