Syanco 2007: international workshop on synthesis and analysis of component connectors

Farhad Arbab, Christel Baier. Syanco 2007: international workshop on synthesis and analysis of component connectors. In Ivica Crnkovic, Antonia Bertolino, editors, Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007. pages 607-608, ACM, 2007. [doi]

Abstract

Abstract is missing.