Seamless interactive program verification
Grebing, S. 1; Klamroth, J.; Ulbrich, M.
1
1 Karlsruher Institut für Technologie (KIT)
11 Karlsruher Institut für Technologie (KIT)
| 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 | Dimensions OpenAlex Scopus |