Proyecto de investigación
TIN2013-44742-C4-3-R
VALIDACIÓN ASISTIDA DE PROGRAMAS MEDIANTE ANÁLISIS, ANOTACIONES, DEMOSTRACIONES MATEMÁTICAS Y PRUEBAS DE EJECUCIÓN
date_range
Duración del 01 de enero de 2014 al 31 de diciembre de 2016
(36 meses)
Finalizó
