Tutorial: The Correctness-by-Construction Approach to Programming Using CorC
Schaefer, Ina
; Runge, Tobias; Cleophas, Loek; Watson, Bruce W.
; Runge, Tobias; Cleophas, Loek; Watson, Bruce W.| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsmonat/-jahr | 10.2021 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-66543-170-5 KITopen-ID: 1000173350 |
| Erschienen in | 2021 IEEE Secure Development Conference (SecDev) |
| Veranstaltung | IEEE Secure Development Conference (SecDev 2021), Online, 18.10.2021 – 20.10.2021 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 1–2 |
| Nachgewiesen in | Dimensions Scopus |