V. Gayetri Devi S, Nalini C, Kumar N. An efficient software verification using multi-layered software verification tool. IJET [Internet]. 2018 Apr. 20 [cited 2024 May 3];7(2.21):454-7. Available from: https://www.sciencepubco.com/index.php/ijet/article/view/12465