KIT | KIT-Bibliothek | Impressum | Datenschutz

Relational program reasoning using compiler IR

Kiefer, Moritz 1; Klebanov, Vladimir 1; Ulbrich, Mattias ORCID iD icon 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1007/978-3-319-48869-1_12
Scopus
Zitationen: 5
Dimensions
Zitationen: 5
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2016
Sprache Englisch
Identifikator ISBN: 978-3-319-48868-4
ISSN: 1611-3349
KITopen-ID: 1000063678
Erschienen in Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers. Ed.: S. Blazy
Verlag Springer
Seiten 149-165
Serie Lecture notes in computer science ; 9971
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page