KIT | KIT-Bibliothek | Impressum | Datenschutz

From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design

Bordis, Tabea ORCID iD icon 1; Kodetzki, Maximilian ORCID iD icon 1; Schaefer, Ina ORCID iD icon 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1109/MC.2024.3390948
Scopus
Zitationen: 1
Dimensions
Zitationen: 2
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 Dimensions
OpenAlex
Web of Science
Scopus
KIT – Die Universität in der Helmholtz-Gemeinschaft
KITopen Landing Page