Preliminary design of jml: a behavioral interface specification language for java (0)

by Gary T Leavens, Albert L Baker, Clyde Ruby
Venue:SIGSOFT Softw. Eng. Notes