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
Participantes
- Almendros Jiménez, Jesús Manuel (Investigador principal) IP
- Becerra Terón, Antonio (Investigador)
- Torres Gil, Manuel (Investigador)