SAVCBS Logo SAVCBS'06
Specification and Verification of
Component-Based Systems
Workshop at
ACM SIGSOFT 2006/FSE-14
November 10-11, 2006