SYANCO 2007: International Workshop on Synthesis and Analysis of Component Connectors

Farhad ArbabFarhad Arbab, Christel BaierChristel Baier

Farhad Arbab, Christel Baier
SYANCO 2007: International Workshop on Synthesis and Analysis of Component Connectors
In Ivica Crnkovic and Antonia Bertolino, eds., 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, Companion Papers, 607-608, 2007. ACM

Details
Bibtex

Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

@inproceedings{AB2007,
  author    = {Farhad Arbab and Christel Baier},
  title     = {SYANCO 2007: International Workshop on Synthesis and Analysis of
               Component Connectors},
  editor    = {Ivica Crnkovic and Antonia Bertolino},
  booktitle = {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, Companion Papers},
  publisher = {ACM},
  year      = {2007},
  pages     = {607-608}
}