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