Projecte d'investigació
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ó del 01 de de gener de 2014 al 31 de de desembre de 2016
(36 mesos)