SAVCBS 2001 Proceedings Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001
File
Date
2001-10-14
Authors
Giannakopoulou, Dimitra
Leavens, Gary
Sitaraman, Murali
Major Professor
Advisor
Committee Member
Journal Title
Journal ISSN
Volume Title
Publisher
Authors
Research Projects
Organizational Units
Organizational Unit
Journal Issue
Is Version Of
Versions
Series
Department
Computer Science
Abstract
These are the proceedings of the Workshop on Specification and Verification of Component-Based Systems. The workshop was held at OOPSLA 2001.