Proyecto de I+D
Proxecto 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
Financiador:
Ministerio de Economía y Competitividad
date_range
Duración do 01 de xaneiro de 2018 ao 30 de setembro de 2021
(45 meses)
Rematou
euro
77.924,00 EUR
De ámbito Local.
Convocatoria:
(Ministerio de Economía y Competitividad)
Subprograma:
Migración de Proyectos GUAI (desde 2000)
