Jordi Levy
Original record- Institution
- Universitat Politècnica de Catalunya
- Year
- 1994
- Country
- Spain
- MGP identifier
- 96547
Dissertation: The Calculus of Refinements: a Formal Specification Model Based on Inclusions
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Jaume Agustí-CullellInstitution not recorded
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Jesús Giráldez Crú | Universitat Autònoma de Barcelona | 2016 | 0 |
| Marco Schorlemmer | Universitat Politècnica de Catalunya | 1999 | 4 |
| Mateu Villaret | Universitat Politècnica de Catalunya | 2004 | 0 |