Manman Chen, Tian Huat Tan, Jun Sun 0001, Yang Liu, Jin Song Dong. VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014. pages 564-567, ACM, 2014. [doi]
Abstract is missing.