Christian Attiogbé, Pascal André, Gilles Ardourel. Checking Component Composability. In Welf Löwe, Mario Südholt, editors, Software Composition, 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers. Volume 4089 of Lecture Notes in Computer Science, pages 18-33, Springer, 2006. [doi]
Abstract is missing.