Analyzing Conversations of Web Services Tevfik Bultan Department of Computer Science University of California, Santa Barbara [email protected] bultan.
Tools for Automated Verification of Web Services