An overview of JML tools and applications

Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll. An overview of JML tools and applications. Electronic Notes in Theoretical Computer Science, 80:75-91, 2003. [doi]

Abstract

Abstract is missing.