SAVCBS Logo SAVCBS'05
Specification and Verification of
Component-Based Systems
Workshop at
ESEC/FSE 2005
September 5-6, 2005