Ramírez de León ED, Chávez Bosquez O, Francisco León JJ. Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification. Revista-IIT [Internet]. 15 de enero de 2015 [citado 15 de junio de 2024];15(4). Disponible en: https://journals.unam.mx/index.php/ingenieria/article/view/45882