Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Editor: Giannakopoulou, D.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.


Ahrendt, W. and Beckert, B. and Bruns, D. and Bubel, R. and Gladisch, C. and Grebing, S. and Hähnle, R. and Hentschel, M. and Herda, M. and Klebanov, V. and Mostowski, W.I. and Scheben, C. and Schmitt, P.H. and Ulbrich, M. (2014) The KeY platform for verification and analysis of Java programs. In: Proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, Revised Selected Papers, 17-18 Jul 2014, Vienna, Austria. pp. 55-71. Lecture Notes In Computer Science 8471. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-12153-6

This list was generated on Mon May 29 00:43:50 CEST 2017.