Proyecto de I+D
Proiektua 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
Finantzatzailea:
Ministerio de Economía y Competitividad
date_range
Iraupena 2018(e)ko urtarrila-(a)k 01-(e)tik 2021(e)ko iraila-(a)k 30-(e)ra izan da
(45 months)
Amaitu
euro
77.924,00 EUR
Herrialde-arlokoak.
Deialdi:
(Ministerio de Economía y Competitividad)
Azpiprograma:
Migración de Proyectos GUAI (desde 2000)
