D. C. Craig, Wlodzimierz M. Zuberek. Compatibility of Software Components - Modeling and Verification. In 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 24-28 May 2006, Szklarska Poreba, Poland. pages 11-18, IEEE Computer Society, 2006. [doi]
Abstract is missing.