Tools for Automated Verification of Web Services.

Tevfik Bultan, Xiang Fu, Jianwen Su

Browse the full ATVA paper archive.