The calculus of refinementsa formal specification model based on inclusions
- Levy Díaz, Jordi
- Jaume Agustí Cullell Director/a
Universidad de defensa: Universitat Politècnica de Catalunya (UPC)
Año de defensa: 1994
- Fernando Orejas Valdés Presidente/a
- Robert Nicuwenhuis Secretario/a
- Peter Mosses Vocal
- Francesc Esteva Massaguer Vocal
- Mario Rodríguez Artalejo Vocal
Tipo: Tesis