Sebastian S. Bauer, Rolf Hennicker, Axel Legay. Component Interfaces with Contracts on Ports. In Corina S. Pasareanu, Gwen Salaün, editors, Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Volume 7684 of Lecture Notes in Computer Science, pages 19-35, Springer, 2012. [doi]
Abstract is missing.