V. Gayetri Devi, S.; Nalini, C.; Kumar, N. An Efficient Software Verification Using Multi-Layered Software Verification Tool. IJET 2018, 7 (2.21), 454-457. https://doi.org/10.14419/ijet.v7i2.21.12465.