Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich. The KeY Platform for Verification and Analysis of Java Programs. In Dimitra Giannakopoulou, Daniel Kroening, editors, Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers. Volume 8471 of Lecture Notes in Computer Science, pages 55-71, Springer, 2014. [doi]
@inproceedings{AhrendtBBBGGHHHKMSSU14,
title = {The KeY Platform for Verification and Analysis of Java Programs},
author = {Wolfgang Ahrendt and Bernhard Beckert and Daniel Bruns and Richard Bubel and Christoph Gladisch and Sarah Grebing and Reiner Hähnle and Martin Hentschel and Mihai Herda and Vladimir Klebanov and Wojciech Mostowski and Christoph Scheben and Peter H. Schmitt and Mattias Ulbrich},
year = {2014},
doi = {10.1007/978-3-319-12154-3_4},
url = {http://dx.doi.org/10.1007/978-3-319-12154-3_4},
researchr = {https://researchr.org/publication/AhrendtBBBGGHHHKMSSU14},
cites = {0},
citedby = {0},
pages = {55-71},
booktitle = {Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers},
editor = {Dimitra Giannakopoulou and Daniel Kroening},
volume = {8471},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-12153-6},
}