Dean Kuo, Alan Fekete, Paul Greenfield, Surya Nepal, John Zic, Savas Parastatidis, Jim Webber. Expressing and Reasoning about Service Contracts in Service-Oriented Computing. In 2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA. pages 915-918, IEEE Computer Society, 2006. [doi]
Abstract is missing.