KIT | KIT-Bibliothek | Impressum | Datenschutz

Seamless interactive program verification

Grebing, S.; Klamroth, J.; Ulbrich, M.



Originalveröffentlichung
DOI: 10.1007/978-3-030-41600-3_6
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2020
Sprache Englisch
Identifikator ISBN: 978-3-030-41599-0
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000119355
Erschienen in Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019. Revised Selected Papers. Ed.: S. Chakraborty
Veranstaltung 11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2019), New York City, NY, USA, 13.07.2019 – 14.07.2019
Verlag Springer
Seiten 68-86
Serie Lecture notes in computer science ; 12031
Vorab online veröffentlicht am 14.03.2020
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page