Traits: Correctness-by-Construction for Free

Runge, Tobias ¹; Potanin, Alex; Thüm, Thomas; Schaefer, Ina

¹
¹ 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

Seitenaufrufe: 69
seit 12.07.2022

Downloads: 37
seit 28.10.2023

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