TESIS
COFRE:ENTORNO FORMAL PARA LA ESPECIFICACIÓN, VALIDACIÓN Y DESARROLLO DE SISTEMAS COORDINADOS
MARÍA SOLEDAD SÁNCHEZ ALONSO
2004-07-05
DIRECTORES
Juan Manuel Murillo Rodríguez
TRIBUNAL
DESCRIPCIÓN
