A runtime assertion checker for the Java Modeling Language (JML (2002)

by Y Cheon, G Leavens
Venue:In Int’l Conf. on Softw. Eng. Res. Pract