Specification and Verification of Component-Based Systems (SAVCBS'07)

Description:
The sixth workshop on specification and verification of component-based systems was affiliated with ESEC/FSE 2007 and was held in the the Salon 6 room of the Croatia Hotel in (Cavtat, near) Dubrovnik, Croatia, during September 3-4, 2007.
http://www.x45.info/?Yj7fu