IEEE
A. Cerone
Compositional Construction of Component Connectors
IEEE International Conference on Software Engineering and Formal Methods
Computer Security

Bonsangue, M., Izadi, M., & Clarke, D. (2008). Modeling Component Connectors: Synchronisation and Context-Dependency. In A. Cerone (Ed.), Proceedings of the 6th IEEE International Conferences on Software Engineering and Formal Methods (SEFM 2008). IEEE.