Special issue: selected extended papers of VSTTE 2016

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!