RAMÍREZ DE LEÓN, E. D.; CHÁVEZ BOSQUEZ, O.; FRANCISCO LEÓN, J. J. Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification. Ingeniería Investigación y Tecnología, [S. l.], v. 15, n. 4, 2015. Disponível em: https://journals.unam.mx/index.php/ingenieria/article/view/45882. Acesso em: 3 jul. 2024.