Ramírez de León, Edgar Darío, Oscar Chávez Bosquez, y Julián Javier Francisco León. 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). https://revistas.unam.mx/index.php/ingenieria/article/view/45882.