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}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
