Fingerprint
Dive into the research topics of 'Behavioral subtyping, specification inheritance, and modular reasoning'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Behavioral subtyping, specification inheritance, and modular reasoning
- Gary T. Leavens
- , David A. Naumann
Research output: Contribution to journal › Article › peer-review
19
Scopus
citations