![](/img/cover-not-exists.png)
[ACM Press the 2007 conference - Dubrovnik, Croatia (2007.09.03-2007.09.04)] Proceedings of the 2007 conference on Specification and verification of component-based systems 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering - SAVCBS '07 - Effective verification of systems with a dynamic number of components
Vařeková, Pavlína, Moravec, Pavel, Černá, Ivana, Zimmerova, BarboraYear:
2007
Language:
english
DOI:
10.1145/1292316.1292317
File:
PDF, 557 KB
english, 2007