This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
David R. Cok
A grouping.
David R. Cok: JML tooling - OpenJML for Java 7 (2014) and Java 16 (2021) - and the JML reference manual.
4 references
JML and OpenJML for Java 16
David R. Cok (2021) · Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs · Association for Computing Machinery
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
David R. Cok (2014) · Formal Integrated Development Environment 2014 (F-IDE 2014) · Open Publishing Association
JML Reference Manual
Gary T. Leavens and others (2013)
An overview of JML tools and applications
Lilian Burdy and others (2005) · International Journal on Software Tools for Technology Transfer · Springer Science and Business Media LLC