Research project
TIN2013-44742-C4-3-R
VALIDACIÓN ASISTIDA DE PROGRAMAS MEDIANTE ANÁLISIS, ANOTACIONES, DEMOSTRACIONES MATEMÁTICAS Y PRUEBAS DE EJECUCIÓN
date_range
Duration: from 01 January 2014 to 31 December 2016
(36 months)
Finished
