Proceedings of the 8th international workshop on Specification and verification of component-based systems
ACM Digital Library