[ACM Press the 2007 conference - Dubrovnik, Croatia...

  • Main
  • [ACM Press the 2007 conference -...

[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, Barbora
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2007
Language:
english
DOI:
10.1145/1292316.1292317
File:
PDF, 557 KB
english, 2007
Conversion to is in progress
Conversion to is failed