Previous: Status and Plans for BML, Up: Introduction
We thank the members of the JML mailing list, and in particular Gary Leavens, David Cok, Peter Müller, and David Naumann, for their feedback on the intended syntax and semantics of JML.