Behavioral subtyping, specification inheritance, and modular reasoning
- Gary T. Leavens
- , David A. Naumann
Research output: Contribution to journal › Article › peer-review
19
Scopus
citations