Towards Automatic Verification of Web-Based SOA Applications.

Xiangping Chen, Gang Huang, Hong Mei

Browse the full APWEB paper archive.