Proyecto de I+D
Others TIN2017-86217-R CAVI-ART-2
CAVI-ART-2: Validación asistida de programas mediante análisis anotaciones demostraciones matemáticas y pruebas de ejecución
date_range
Duration: from 01 January 2018 to 30 September 2021
(45 months)
Finished
euro
779,240.00 EUR
Of Local scope.
Subprogram:
Migración de Proyectos GUAI (desde 2000)