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
Citations:123 - 19 self