Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 - 22, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	VMCAI (BerichterstatterIn)
Weitere Verfasser:	Giacobazzi, Roberto (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Heidelberg, Dordrecht, London, New York, NY, Berlin Springer 2013
Schriftenreihe:	Lecture notes in computer science 7737 : Advanced research in computing and software science
Schlagworte:	Konferenzschrift > Programmanalyse > Programmverifikation > Model Checking > Abstrakte Interpretation > Formale Methode
Online Zugang:	Inhaltsverzeichnis Inhaltstext Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!