Verification, model checking, and abstract interpretation : 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings

Verification, model checking, and abstract interpretation 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: VMCAI (VerfasserIn), POPL (BerichterstatterIn)
Weitere Verfasser: Jobstmann, Barbara (HerausgeberIn), Leino, K. Rustan M. (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg Springer 2016
Schriftenreihe:Lecture notes in computer science 9583
Schlagworte:
Konferenzschrift > Programmanalyse > Programmverifikation > Model Checking > Abstrakte Interpretation > Formale Methode
Online Zugang:Inhaltsverzeichnis
Inhaltstext
Inhaltstext
Cover
http://www.springer.com/
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!