KIT | KIT-Bibliothek | Impressum | Datenschutz

Deductive Verification of Legacy Code

Beckert, Bernhard ORCID iD icon 1; Bormer, Thorsten 1; Grahl, Daniel 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1007/978-3-319-47166-2_53
Scopus
Zitationen: 7
Dimensions
Zitationen: 7
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2016
Sprache Englisch
Identifikator ISBN: 978-3-319-47165-5
ISSN: 0302-9743
KITopen-ID: 1000062271
Erschienen in 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) Imperial, Corfu; Greece; 10-14 October 2016, Part I. Ed.:T. Margaria
Verlag Springer Verlag
Seiten 749-765
Serie Lecture Notes in Computer Science (LNCS) ; 9952
Nachgewiesen in Scopus
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page