Portal Investigación UEx

TESIS

COFRE:ENTORNO FORMAL PARA LA ESPECIFICACIÓN, VALIDACIÓN Y DESARROLLO DE SISTEMAS COORDINADOS

MARÍA SOLEDAD SÁNCHEZ ALONSO