KIT | KIT-Bibliothek | Impressum | Datenschutz

The KeY Platform for Verification and Analysis of Java Programs

Ahrendt, W.; Beckert, B. ORCID iD icon; Bruns, D.; Bubel, R.; Gladisch, C.; Grebing, S.; Hähnle, R.; Hentschel, M.; Herda, M.; Klebanov, V.; Mostowski, W.; Scheben, C.; Schmitt, P. H.; Ulbrich, M. ORCID iD icon


Download
Originalveröffentlichung
DOI: 10.1007/978-3-319-12154-3_4
Dimensions
Zitationen: 37
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2014
Sprache Englisch
Identifikator ISBN: 978-3-319-12153-6
ISSN: 0302-9743
KITopen-ID: 1000045619
Erschienen in Verified Software: Theories, Tools and Experiments - 6th International Conference (VSTTE'14), Wien, Österreich, July 17-18, 2014. Ed.: D. Giannakopoulou
Verlag Springer US
Seiten 55-71
Serie Lecture Notes in Computer Science
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page