Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs (1994)
by
Gary T. Leavens
,
William E. Weihl
BibTeX
@TECHREPORT{Leavens94subtyping,modular,
author = {Gary T. Leavens and William E. Weihl},
title = {Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs},
institution = {},
year = {1994}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
