Computer aided verification 31th international conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings Part 2

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	CAV New York, NY (VerfasserIn)
Weitere Verfasser:	Dillig, Isil (HerausgeberIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Cham Springer Open [2019]
Schriftenreihe:	Lecture notes in computer science 11562
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge