SERNA M., E.; MORALES V., D. Estado del arte de la investigación en verificación formal. Ingeniería Investigación y Tecnología, [S. l.], v. 15, n. 4, 2015. Disponível em: https://journals.unam.mx/index.php/ingenieria/article/view/45919. Acesso em: 3 jul. 2024.