The calculus of refinementsa formal specification model based on inclusions

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

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

Any de defensa: 1994

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

Tipus: Tesi

Teseo: 45380 DIALNET