1. A Discipline of Programming;Dijkstra,1976
2. The Dafny integrated development environment;Leino,2014
3. OpenJML: software verification for Java 7 using JML, OpenJDK, and Eclipse;Cok,2014
4. Let's verify this with Why3;Bobot;Int. J. Softw. Tools Technol. Transf.,2015