The Karlsruhe Java Verification Suite

Klamroth, Jonas; Lanzinger, Florian

¹
¹ Karlsruher Institut für Technologie (KIT)

Postprint

DOI: 10.5445/IR/1000149504

Veröffentlicht am 13.01.2023

Originalveröffentlichung
DOI: 10.1007/978-3-031-08166-8_14

Scopus
Zitationen: 2

Dimensions
Zitationen: 2

Seitenaufrufe: 85
seit 05.08.2022

Downloads: 34
seit 23.01.2023

Zugehörige Institution(en) am KIT	Institut für Informationssicherheit und Verlässlichkeit (KASTEL) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp	Buchaufsatz
Publikationsjahr	2022
Sprache	Englisch
Identifikator	ISBN: 978-3-031-08166-8 ISSN: 0302-9743 KITopen-ID: 1000149504
HGF-Programm	46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Erschienen in	The Logic of Software. A Tasting Menu of Formal Methods – Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Ed.: W. Ahrendt
Verlag	Springer International Publishing
Seiten	290–312
Serie	Lecture Notes in Computer Science
Vorab online veröffentlicht am	04.07.2022
Nachgewiesen in	Scopus Dimensions