Proyectos vigentes

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

    ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO

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

    ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO

Proyectos finalizados