Preliminary design of JML: A behavioral interface specification language for Java (1998)

by Gary T. Leavens , Albert L. Baker , Clyde Ruby
Citations:390 - 35 self