EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


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

Number of items: 1.

2014

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 Mar 27 04:18:18 CEST 2017.