


default search action
International Workshop on Specification and Verification of Component-Based Systems (SAVCBS)
SAVCBS 2009: Amsterdam, The Netherlands
- SAVCBS'09, Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, August 25, 2009, Amsterdam, The Netherlands. ACM 2009, ISBN 978-1-60558-680-9 [contents]

SAVCBS 2007: Dubrovnik, Croatia
- Arnd Poetzsch-Heffter:

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007. ACM 2007, ISBN 978-1-59593-721-6 [contents]
SAVCBS 2006: Portland, Oregon, USA
- Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, SAVCBS '06, Portland, Oregon, USA, November 10-11, 2006. ACM 2006 [contents]

SAVCBS 2005: Lisbon, Portugal
- Gary T. Leavens:

Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005. ACM 2005 [contents]

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














