European Conference on Software Engineering and the ACM SIGSOFT
“SAVCBS'07 Specification and Verification of Component-Based Systems"
ACM | 2007 | ISBN: 9781595937216 | 113 pages | PDF | 3,5 Mb
“SAVCBS'07 Specification and Verification of Component-Based Systems"
ACM | 2007 | ISBN: 9781595937216 | 113 pages | PDF | 3,5 Mb
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.
---No mirrors, please---
