Verification, model checking, and abstract interpretation : 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings

Verification, model checking, and abstract interpretation 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: VMCAI (VerfasserIn), Association for Computing Machinery Special Interest Group on Programming Languages (VeranstalterIn), POPL (VerfasserIn)
Weitere Verfasser: Beyer, Dirk (HerausgeberIn), Zufferey, Damien (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2020
Schriftenreihe:Lecture notes in computer science 11990
Schlagworte:
Konferenzschrift > Verifikation > Model Checking
Online Zugang:Inhaltsverzeichnis
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Im Vorwort: VMCAI 2020 is part of the 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020)
Titelaufnahme entstanden auf Grundlage der Online-Ausgabe
Literaturangaben
Beschreibung:xiv, 470 Seiten
Diagramme
ISBN:9783030393212
978-3-030-39321-2