Proyecto de I+D
Project 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
Funder: Ministerio de Economía y Competitividad
Call: (Ministerio de Economía y Competitividad)
date_range
Duration: from 01 January 2018 to 30 September 2021
(45 months)
Finished
€77,924.00
Of Local scope. It has been granted under a regime of Competitive.
