Pošljite SMS: SAVCBS 2007 proceedings, specification and verification of component-based systems, September 3-4, 2007, Dubrovnik, Croatia, Workshop at ESEC/FSE 2007, 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. [electronic resource] :