Ramírez de León, Edgar Darío, Oscar Chávez Bosquez, y Julián Javier Francisco León. «Pruebas empíricas Y Resultados Preliminares Con La Herramienta Krakatoa Para Full Static Program Verification». Ingeniería Investigación y Tecnología 15, no. 4 (enero 15, 2015). Accedido junio 14, 2024. https://journals.unam.mx/index.php/ingenieria/article/view/45882.