Projet de recherche
TIN2013-44742-C4-3-R
VALIDACIÓN ASISTIDA DE PROGRAMAS MEDIANTE ANÁLISIS, ANOTACIONES, DEMOSTRACIONES MATEMÁTICAS Y PRUEBAS DE EJECUCIÓN
date_range
Durée de 01 janvier 2014 à 31 décembre 2016
(36 mois)