G.T.: A runtime assertion checker for the Java Modeling Language (JML (2002)

by Y Cheon, Leavens
Venue:In: SERP 02, Las Vegas, CSREA