The calculus of refinementsa formal specification model based on inclusions

  1. Levy Díaz, Jordi
Dirigida por:
  1. Jaume Agustí Cullell Director/a

Universidad de defensa: Universitat Politècnica de Catalunya (UPC)

Año de defensa: 1994

Tribunal:
  1. Fernando Orejas Valdés Presidente/a
  2. Robert Nicuwenhuis Secretario/a
  3. Peter Mosses Vocal
  4. Francesc Esteva Massaguer Vocal
  5. Mario Rodríguez Artalejo Vocal

Tipo: Tesis

Teseo: 45380 DIALNET