JML: notations and tools supporting detailed design in Java (2000)

by Gary T. Leavens , K. Rustan M. Leino , Erik Poll , Clyde Ruby , Bart Jacobs
Venue:IN OOPSLA 2000 COMPANION
Citations:85 - 3 self