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.
; 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 |
| 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 |