An Interface Theory Based Approach to Verification of Web Services

Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung. An Interface Theory Based Approach to Verification of Web Services. In 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), 17-21 September 2006, Chicago, Illinois, USA. pages 139-144, IEEE Computer Society, 2006. [doi]

Authors

Zhenbang Chen

This author has not been identified. Look up 'Zhenbang Chen' in Google

Ji Wang

This author has not been identified. Look up 'Ji Wang' in Google

Wei Dong

This author has not been identified. Look up 'Wei Dong' in Google

Zhichang Qi

This author has not been identified. Look up 'Zhichang Qi' in Google

Wing Lok Yeung

This author has not been identified. Look up 'Wing Lok Yeung' in Google