Ramírez de León, E. D., Chávez Bosquez, O. y 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). Disponible en: https://journals.unam.mx/index.php/ingenieria/article/view/45882 (Accedido: 1 junio 2024).