62 citations · 62 across the 1 of their papers we have counts for
1 paper · 1 filter
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…