V. Gayetri Devi, S, et al. “An Efficient Software Verification Using Multi-Layered Software Verification Tool”. International Journal of Engineering & Technology, vol. 7, no. 2.21, Apr. 2018, pp. 454-7, https://doi.org/10.14419/ijet.v7i2.21.12465.