An overview of JML tools and applications (2005)

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