Serna M., E. y Morales V., D. (2015) «Estado del arte de la investigación en verificación formal», Ingeniería Investigación y Tecnología, 15(4). Disponible en: https://journals.unam.mx/index.php/ingenieria/article/view/45919 (Accedido: 3 julio 2024).