Proyecto de I+D
Projet 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
Financeur:
Ministerio de Economía y Competitividad
date_range
Durée de 01 janvier 2018 à 30 septembre 2021
(45 mois)
Fini
euro
77 924,00 EUR
Sphère Local.
Annonce:
(Ministerio de Economía y Competitividad)
Sous-programme:
Migración de Proyectos GUAI (desde 2000)
