JML (poster session): notations and tools supporting detailed design in Java.

Gary T. Leavens, Clyde Ruby, K. Rustan M. Leino, Erik Poll, Bart Jacobs

Browse the full OOPSLA paper archive.