JML's Rich, Inherited Specifications for Behavioral Subtypes.

Gary T. Leavens

Browse the full ICFEM paper archive.