Correctness-by-Construction: An Overview of the CorC Ecosystem
| 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 |