German Shegalov, Gerhard Weikum. Formal Verification of Web Service Interaction Contracts. In 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA. pages 525-528, IEEE Computer Society, 2008. [doi]
Abstract is missing.