Forschungsprojekt
TIN2013-44742-C4-3-R
VALIDACIÓN ASISTIDA DE PROGRAMAS MEDIANTE ANÁLISIS, ANOTACIONES, DEMOSTRACIONES MATEMÁTICAS Y PRUEBAS DE EJECUCIÓN
date_range
Dauer von 01 von Januar von 2014 bis 31 von Dezember von 2016
(36 Monate)