P Chalin - Proceedings of the 7th Workshop on Formal …, 2005 - Citeseer
Early in the design of the Java Modeling Language (JML) care was taken in the choice of its
logical foundation to ensure that JML could accommodate run-time assertion checking, static …