SAVCBS Logo SAVCBS'07
Specification and Verification of
Component-Based Systems
Workshop at
ESEC/FSE 2007
September 3-4, 2007