Tesis de doctorado

Year: 1995

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