An overview of JML tools and applications. (2005)

by Lilian Burdy, Yoonsik Cheon, David Cok, Michael Ernst, Joe Kiniry, Gary T Leavens, K Rustan M Leino, Erik Poll
Venue:International Journal on Software Tools for Technology Transfer,