Serna M., Edgar, y David Morales V. «Estado Del Arte De La investigación En verificación Formal». Ingeniería Investigación y Tecnología 15, no. 4 (enero 15, 2015). Accedido julio 22, 2024. https://journals.unam.mx/index.php/ingenieria/article/view/45919.