KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal Specification and Verification of JDK’s Identity Hash Map Implementation

Boer, Martin de ; Gouw, Stijn de; Klamroth, Jonas; Jung, Christian 1; Ulbrich, Mattias ORCID iD icon 1; Weigl, Alexander ORCID iD icon 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)


Postprint §
DOI: 10.5445/IR/1000148092
Veröffentlicht am 02.06.2023
Originalveröffentlichung
DOI: 10.1007/978-3-031-07727-2_4
Scopus
Zitationen: 4
Dimensions
Zitationen: 6
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-07727-2
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000148092
Erschienen in Integrated Formal Methods – 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings. Ed.: M. ter Beek
Veranstaltung 17th International Conference on Integrated Formal Methods (IFM 2022), Lugano, Schweiz, 07.06.2022 – 10.06.2022
Verlag Springer International Publishing
Seiten 45–62
Serie Lecture Notes in Computer Science (LNCS) ; 13274
Vorab online veröffentlicht am 01.06.2022
Nachgewiesen in Scopus
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page