Marieke Huisman. On the interplay between the semantics of Java's finally clauses and the JML run-time checker. In Anindya Banerjee, editor, Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009. ACM, 2009. [doi]
Abstract is missing.