Correctness-by-Construction: An Overview of the CorC Ecosystem
Bordis, Tabea
1; Runge, Tobias 1; Kittelmann, Alexander 2; Schaefer, Ina
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
2 Karlsruher Institut für Technologie (KIT)
1; Runge, Tobias 1; Kittelmann, Alexander 2; Schaefer, Ina
11 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
2 Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsdatum | 05.04.2023 |
| Sprache | Englisch |
| Identifikator | ISSN: 1381-6551, 0268-652X KITopen-ID: 1000162644 |
| Erschienen in | Ada User Journal |
| Verlag | IOS Press |
| Band | 44 |
| Heft | 1 |
| Seiten | 59 – 62 |
| Nachgewiesen in | Scopus |