ACM SIGPLAN Notices: A Monthly Publication of the Special ...
More editions
Springer- Verlag, New York, N.Y., 1993. [Lea89] Gary Todd Leavens. Verifying Object-Oriented Programs that use Subtypes. Technical Report 439, Massachusetts Institute of Technology, Laboratory for Computer Science, February 1989.