V. Gayetri Devi, S, C Nalini, and N Kumar. 2018. “An Efficient Software Verification Using Multi-Layered Software Verification Tool”. International Journal of Engineering & Technology 7 (2.21): 454-57. https://doi.org/10.14419/ijet.v7i2.21.12465.