V. GAYETRI DEVI, S; NALINI, C; KUMAR, N. An efficient software verification using multi-layered software verification tool. International Journal of Engineering & Technology, [S. l.], v. 7, n. 2.21, p. 454–457, 2018. DOI: 10.14419/ijet.v7i2.21.12465. Disponível em: https://sciencepubco.com/index.php/ijet/article/view/12465.. Acesso em: 6 may. 2024.