Tesis de doctorado

Año: 1995

• Transformación y Verificación con LOTOS.
  Pazos Arias, J. J. (1995). Tesis de doctorado, Universidad Politécnica de Madrid.