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]
Abstract is missing.