TIN2013-44742-C04-04-R Validación asistida de programas mediante métodos precisos y rigurosos - Prueba de transformaciones XML-UAL

Detalles del proyecto

Duración Desde 1 de enero de 2014 hasta 31 de diciembre de 2016
Entidad financiadora Ministerio de Economía y Competitividad
Importe financiado 23.464,32 EUR

Publicaciones