KIT | KIT-Bibliothek | Impressum | Datenschutz

The Logic of Software. A Tasting Menu of Formal Methods – Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Ahrendt, Wolfgang [Hrsg.]; Beckert, Bernhard [Hrsg.] ORCID iD icon; Bubel, Richard [Hrsg.]; Johnsen, Einar Broch [Hrsg.]


Originalveröffentlichung
DOI: 10.1007/978-3-031-08166-8
Dimensions
Zitationen: 2
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Buch
Publikationsjahr 2022
Sprache Englisch
Identifikator ISBN: 978-3-031-08166-8
ISSN: 0302-9743
KITopen-ID: 1000175560
Verlag Springer International Publishing
Serie Lecture Notes in Computer Science ; 13360
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page