Volver a los detalles del artículo Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification Descargar Descargar PDF