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

by G T Leavens, K R M Leino, E Poll, C Ruby, B Jacobs
Venue:OOPSLA