TIN2013-44742-C04-04-R Validación asistida de programas mediante métodos precisos y rigurosos - Prueba de transformaciones XML-UAL
Project details
Duration
From January 1, 2014 until December 31, 2017
Publications
Participants
- Almendros Jiménez, Jesús Manuel (Investigador principal) PI
- Becerra Terón, Antonio (Investigador)
- Torres Gil, Manuel (Investigador)