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