Teaching Correctness-by-Construction and Post-hoc Verification – The Online Experience
Runge, Tobias ; Bordis, Tabea
; Thüm, Thomas; Schaefer, Ina
; Thüm, Thomas; Schaefer, Ina
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2021 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-030-91550-6 ISSN: 0302-9743 KITopen-ID: 1000173349 |
| Erschienen in | Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings. Ed.: J. Ferreira |
| Veranstaltung | 4th International Workshop and Tutorial on Formal Methods (FMTea 2021), Online, 21.11.2021 |
| Verlag | Springer International Publishing |
| Seiten | 101–116 |
| Serie | Lecture Notes in Computer Science ; 13122 |
| Vorab online veröffentlicht am | 23.11.2021 |
| Nachgewiesen in | Scopus Dimensions |