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,