Design by contract with JML, 2005. avaiable at http://www.cs.iastate.edu/˜leavens/JML (0)

by G T Leavens, Y Cheon