The calculus of refinementsa formal specification model based on inclusions
- Levy Díaz, Jordi
- Jaume Agustí Cullell Director/a
Universitat de defensa: Universitat Politècnica de Catalunya (UPC)
Any de defensa: 1994
- Fernando Orejas Valdés President/a
- Robert Nicuwenhuis Secretari/ària
- Peter Mosses Vocal
- Francesc Esteva Massaguer Vocal
- Mario Rodríguez Artalejo Vocal
Tipus: Tesi