From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design
Bordis, Tabea 1; Kodetzki, Maximilian
1; Schaefer, Ina 1
1 Karlsruher Institut für Technologie (KIT)
1; Schaefer, Ina 11 Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | KIT-Bibliothek (BIB) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsmonat/-jahr | 07.2024 |
| Sprache | Englisch |
| Identifikator | ISSN: 0018-9162, 1558-0814 KITopen-ID: 1000172624 |
| Erschienen in | Computer |
| Verlag | IEEE Computer Society |
| Band | 57 |
| Heft | 7 |
| Seiten | 113 – 119 |
| Vorab online veröffentlicht am | 26.06.2024 |
| Nachgewiesen in | Web of Science Dimensions Scopus |