Arun D. Raghavan and Gary T. Leavens. Desugaring JML Method Specifications. Department of Computer Science, Iowa State University, TR #00-03c, March 2000, revised July, December 2000, August 2001 (2001) |
Languages mentioned
- JML {1998} Interface specification language for JAVA
|
|