62 citations · 72 across the 4 of their papers we have counts for
1 paper · 2 filters
David R. Cok
OpenJML is a tool for checking code and specifications of Java programs. We describe our experience building the tool on the foundation of JML, OpenJDK and Eclipse, as well as on m…