Browse by Subject: General

• (Top Level)
• Theory of Computation
• LOGICS AND MEANINGS OF PROGRAMS (0)
• General (1)

Barnett, Mike, Edwards, Stephen H., Giannakopoulou, Dimitra, Leavens, Gary T. and Sharygina, Natasha (2004) SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings. Technical Report 04-09, Computer Science, Iowa State University.