archives

Browse by Subject: Sequential Programming


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 1 entries

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.



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