Enviar aquest missatge de text: SAVCBS '09 proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, August 25, 2009, Amsterdam, The Netherlands / sponsored by ACM SIGSOFT. [electronic resource] :