An overview of JML tools and applications

Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll. An overview of JML tools and applications. STTT, 7(3):212-232, 2005. [doi]

No reviews for this publication, yet.