Preliminary Design of JML: A Behavioral Interface Specification Language for Java (0)

by G Leavens, A Baker, C Ruby
Venue:ACM SIGSOFT Software Engineering Notes