FME 2003: Formal Methods: International Symposium of Formal ...
Keijiro Araki
[Leavens+00] Gary T. Leavens, G. Rustan K. Leino, Erik Poll, Clyde Ruby, and Bart Jacobs. JML: notations and tools supporting detailed design in Java. In OOPSLA 200 Companion, Minneapolis, Minnesota, pages 105–106. [ Leavens02a] ...