Alan Wills
-
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes