EEMCS

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

EEMCS EPrints Service


Editor: Banerjee, A.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2009

Huisman, M. (2009) On the Interplay between the Semantics of Java's Finally Clauses and the JML Run-Time Checker. In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, July 5, 2009, Genua. 8:1-8:6. ACM. ISBN 978-1-60558-540-6

This list was generated on Sun May 28 22:19:07 CEST 2017.