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 is missing.