Specification and verification of component-based systems 2007

SAVCBS is a workshop for research and experience reports on the specification and verification of component-based systems.