Previous: Status and Plans for BML, Up: Introduction


1.4 Acknowledgements

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.