Contacts
The principal developer of OpenJML is David Cok: davidcok at users.sourceforge.net
For general information about JML, contact an appropriate JML mailing list. See the list at sourceforge; in particular jmlspecs-interest@lists.sourceforge.net.
You can also contact people listed on the JML web site. A sub-page acknowledges the many people that have contributed in various ways to JML.
Last modified Nov 14 2025.