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