ECOOP '92. European Conference on Object-Oriented ...
Preview
[Leavens 89] Gary Todd Leavens. Verifying Object-Oriented Programs that use
Subtypes. Ph.D. thesis, MIT, 1989. [Leavens & Weihl 90] Gary T. Leavens and
William E. Weihl. Reasoning about Object-Oriented Programs that use Subtypes.