Browse by Subject: DATA STORAGE REPRESENTATIONS

• (Top Level)
• Data
• DATA STORAGE REPRESENTATIONS (1)

Leavens, Gary T. and Naumann, David A. (2006) Behavioral Subtyping, Specification Inheritance, and Modular Reasoning. Technical Report TR06-20a, Computer Science, Iowa State University.