Proyectos vigentes

  1. Métodos formales escalables para aplicaciones en entornos reales

    ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO