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.
specification verification component-based systems object-oriented