Browse by Subject: Microcomputers

• (Top Level)
• Computer Systems Organization
• COMPUTER SYSTEM IMPLEMENTATION (1)
• Microcomputers (1)

Leavens, Gary T. (2006) JML's Rich, Inherited Specifications for Behavioral Subtypes. Technical Report TR #06--22, Computer Science, Iowa State University.