EEMCS

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

EEMCS EPrints Service


Editor: Monahan, R.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2015

Kandziora, J. and Huisman, M. and Bockisch, C.M. and Zaharieva-Stojanovski, M. (2015) Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML. In: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs (FTfJP 2015), 7 July 2015, Prague, Czech Republic. 8. ACM. ISBN 978-1-4503-3656-7

2013

Bruns, D. and Mostowski, W.I. and Ulbrich, M. (2013) Implementation-level verification of algorithms with KeY. International journal on software tools for technology transfer, 17 (6). pp. 729-744. ISSN 1433-2779

This list was generated on Mon Apr 24 03:38:08 CEST 2017.