Projet de recherche
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
Durée de 01 janvier 2018 à 30 septembre 2021
(45 mois)