Serna M. E, Morales V. D. Estado del arte de la investigación en verificación formal. Revista-IIT [Internet]. 15 de enero de 2015 [citado 22 de julio de 2024];15(4). Disponible en: https://journals.unam.mx/index.php/ingenieria/article/view/45919