ALICIA
MERAYO CORCOBA
Postdoctoral UCM
Proyectos vigentes
-
Métodos formales escalables para aplicaciones en entornos reales
ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO