E.: An overview of JML tools and applications (2005)

by L Burdy, Y Cheon, D R Cok, Kiniry Ernst, J R Leavens, G T Leino, K R M Poll
Venue:International Journal on Software Tools for Technology Transfer (STTT) 7(3