David R. Cok
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
JML and OpenJML for Java 16
David R. Cok (2021) · Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
David R. Cok (2014) · Electronic Proceedings in Theoretical Computer Science