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

by Yoonsik Cheon, Gary T. Leavens
Venue:PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE (SERP ’02), LAS VEGAS