Ramírez de León, E. D., Chávez Bosquez, O., & Francisco León, J. J. (2015). Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification. Ingeniería Investigación Y Tecnología, 15(4). Recuperado a partir de https://journals.unam.mx/index.php/ingenieria/article/view/45882