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. Revista-IIT 2015, 15.