Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification
Empirical Tests and Preliminary Results with the Krakatoa Tool for Full Static Program Verification
Edgar Darío Ramírez De LeónOscar Alberto Chávez Bosquez
Julián Javier Francisco León
DOI: https://doi.org/10.1016/S1405-7743(14)70648-1