Design by Contract with JML (2006)

by G T Leavens, Y Cheon