Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei-Tek Tsai, Yinong Chen. A Framework for Contract-Based Collaborative Verification and Validation of Web Services. In Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford, editors, Component-Based Software Engineering, 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings. Volume 4608 of Lecture Notes in Computer Science, pages 258-273, Springer, 2007. [doi]
Abstract is missing.