Projecte d'investigació
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ó del 01 de de gener de 2018 al 30 de de setembre de 2021
(45 mesos)