KIT | KIT-Bibliothek | Impressum
Open Access Logo
Originalveröffentlichung
DOI: 10.1007/978-3-319-12154-3_4

The KeY Platform for Verification and Analysis of Java Programs

Ahrendt, W.; Beckert, B.; 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.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 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, New York (NY)
Seiten 55-71
Serie Lecture Notes in Computer Science
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page