Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015)

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	VMCAI (VerfasserIn)
Weitere Verfasser:	D'Souza, Deepak (HerausgeberIn), Lal, Akash (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam, Boston, London Elsevier 2016
Schriftenreihe:	Computer languages volume 47, part 1 (2017)
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	"Held in Mumbai, India, during 12-14 January, 2015" - Vorwort Literaturangaben
Beschreibung:	129 Seiten Diagramme