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