Proyecto de I+D
Projekt 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
Finanzier:
Ministerio de Economía y Competitividad
date_range
Dauer von 01 von Januar von 2018 bis 30 von September von 2021
(45 Monate)
Fertig
euro
77.924,00 EUR
Geltungsbereich Lokal.
Bekanntmachung:
(Ministerio de Economía y Competitividad)
Unterprogramm:
Migración de Proyectos GUAI (desde 2000)