Formal Verification of Web Service Interaction Contracts | IEEE Conference Publication | IEEE Xplore