Saranya Jothi, C.; S, R.; Kumar K, A.; Suresh, A. An Approach for Verifying Correctness of Web Service Compositions. IJET 2018, 7 (1.7), 5-10. https://doi.org/10.14419/ijet.v7i1.7.9378.