Towards a Formal Verification Approach for Implementation of Web Services Specifications.

Qing Yang, Dianfu Ma, Yongwang Zhao, Zhuqing Li

Browse the full APSCC paper archive.