An Interface Theory Based Approach to Verification of Web Services.

Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung

Browse the full COMPSAC paper archive.