Behavioral subtyping, specification inheritance, and modular reasoning

Gary T. Leavens, David A. Naumann

Research output: Contribution to journal › Article › peer-review

17 Scopus citations

Fingerprint

Dive into the research topics of 'Behavioral subtyping, specification inheritance, and modular reasoning'. Together they form a unique fingerprint.

Computer Science