An overview of JML tools and applications (2003)

by L Burdy, Y Cheon, D Cok, M D Ernst, J Kiniry, G T Leavens, K R M Leino, E Poll