OOPSLA '00 Companion, Minneapolis, Minnesota, August 2000
(2000)
Leavens, Gary T. (2000)
Leavens, Gary T. ; K. Rustan M. Leino, Erik Poll, Clyde Ruby, and Bart Jacobs. JML: notations and tools supporting detailed design in Java