Proxecto de investigación
TIN2017-86217-R
CAVI-ART-2: Validación asistida de programas mediante análisis anotaciones demostraciones matemáticas y pruebas de ejecución
date_range
Duración do 01 de xaneiro de 2018 ao 30 de setembro de 2021
(45 meses)