First steps in formalising JML: Exceptions in Predicates (2000)

by Joachim van den Berg , Erik Poll , Bart Jacobs
Venue:Formal Techniques for Java Programs. Proceedings of the ECOOP'00 Workshop. Techn. Rep., Fernuniversitat
Citations:4 - 3 self