Verified software : theories, tools, and experiments : 11th international conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers

Verified software theories, tools, and experiments : 11th international conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: VSTTE (VerfasserIn), CAV (VerfasserIn)
Weitere Verfasser: Chakraborty, Supratik (HerausgeberIn), Navas, Jorge A. (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2020
Schriftenreihe:Lecture notes in computer science 12031
Schlagworte:
Softwaretest > Verifikation > Formale Methode > Spezifikationssprache > Softwarespezifikation > Programmverifikation > Programmanalyse > Konferenzschrift
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Im Vorwort: The working conference was co-located with the 31st International Conference on Computer-Aided Verification (CAV 2019)
Literaturangaben
Titelaufnahme entstanden auf Grundlage der Online-Ausgabe
Beschreibung:xvi, 192 Seiten
Illustrationen, Diagramme
ISBN:9783030415990
978-3-030-41599-0