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!
Beschreibung
Beschreibung:Co-located with POPL 2016 (the annual ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages)
Literaturangaben
Beschreibung:XIII, 558 Seiten
Illustrationen
24 cm
ISBN:3662491214
3-662-49121-4
9783662491218
978-3-662-49121-8