KIT | KIT-Bibliothek | Impressum | Datenschutz
Suche im KITopen-Katalog

Repository KITopen

Traits: Correctness-by-Construction for Free

Runge, Tobias 1; Potanin, Alex; Thüm, Thomas; Schaefer, Ina 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)


Postprint §
DOI: 10.5445/IR/1000148429/post
Veröffentlicht am 12.10.2023
Originalveröffentlichung
DOI: 10.1007/978-3-031-08679-3_9
Scopus
Zitationen: 2
Dimensions
Zitationen: 1
BibTeX (UTF-8) BibTeX (ASCII) EndNote/Refer (.enw) RIS CSL-JSON ISI
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2022
Sprache Englisch
Identifikator ISBN: 978-3-031-08679-3
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000148429
Erschienen in Formal Techniques for Distributed Objects, Components, and Systems – 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings. Ed.: M. Mousavi
Veranstaltung 17th Ifip Wg 6.1 International Conference, Forte (2022), Lucca, Italien, 13.06.2022 – 17.06.2022
Verlag Springer International Publishing
Seiten 131–150
Serie Lecture Notes in Computer Science (LNCS) ; 13273
Vorab online veröffentlicht am 12.06.2022
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page