V. Gayetri Devi, S., Nalini, C. and Kumar, N. (2018) “An efficient software verification using multi-layered software verification tool”, International Journal of Engineering & Technology, 7(2.21), pp. 454–457. doi:10.14419/ijet.v7i2.21.12465.