Zhiwei Chen, Jian Wu, ShuiGuang Deng, Ying Li, Zhaohui Wu. Describing and Verifying Web Service Using Type Theory. In Proceedings of the 10th International Conference on CSCW in Design, CSCWD 2006, May 3-5, 2006, Southeast University, Nanjing, China. pages 746-750, IEEE, 2006. [doi]
Abstract is missing.