National Projects
-
OBTENCIÓN DE SOFTWARE ADAPTABLE, ROBUSTO Y EFICIENTE AÑADIENDO REFLEXIÓN ESTRUCTURAL A LENGUAJES CON COMPROBACIÓN ESTÁTICA DE TIPOS [MICINN-12-TIN2011-25978]
Organism: MINISTERIO DE ECONOMIA Y COMPETITIVIDAD
- Start Date:
- 01 of January of 2012
- End Date:
- 31 of December of 2014
- Lead Research:
-
- FRANCISCO ORTIN SOLER
- Participants:
-
- JOSE MANUEL REDONDO LOPEZ
- BENJAMIN LOPEZ PEREZ
- LUIS ANTONIO VINUESA MARTINEZ
- MARIA PUERTO PAULE RUIZ
- JUAN RAMON PEREZ PEREZ
- RAUL IZQUIERDO CASTANEDO
- DANIEL FERNANDEZ LANVIN
- ALBERTO MANUEL FERNANDEZ ALVAREZ
- VICTOR MANUEL ALVAREZ GARCIA
- MIGUEL GARCIA RODRIGUEZ
- JOSE BALTASAR GARCIA PEREZ-SCHOFIELD
- JOSE QUIROGA ALVAREZ