Computer aided verification 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings 1 part

Bibliographische Detailangaben

Körperschaft:	CAV Heidelberg (VerfasserIn)
Weitere Verfasser:	Majumdar, Rupak (HerausgeberIn), Kunčak, Viktor 1977- (HerausgeberIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Cham Springer [2017]
Schriftenreihe:	Lecture notes in computer science 10426
Schlagworte:	Verifikation Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!