Special issue: selected extended papers of VSTTE 2016

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	VSTTE (VerfasserIn)
Weitere Verfasser:	Blazy, Sandrine (HerausgeberIn), Chechik, Marsha (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Dordrecht Springer 2018
Schriftenreihe:	Journal of automated reasoning volume 60, number 3 (2018)
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	VSTTE 2016, the International Conference on Verified Software: Theories, Tools and Experiments, held during 17-18 July 2016 in Toronto, and co-located with the 26th International Conference on Computer-Aided Verification
Beschreibung:	Seite 255-383 Diagramme