JML: A Notation for Detailed Design (1999)

by Gary T. Leavens , Albert L. Baker , Clyde Ruby
Citations:181 - 14 self