Saranya Jothi, C. (2018) “An approach for verifying correctness of web service compositions”, International Journal of Engineering & Technology, 7(1.7), pp. 5–10. doi:10.14419/ijet.v7i1.7.9378.