archives

Browse by Subject: DATA STORAGE REPRESENTATIONS


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 1 entries

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



Contact site administrator at: ssg@cs.iastate.edu