John S. Fitzgerald
Original record- Institution
- Victoria University of Manchester
- Year
- 1991
- Country
- United Kingdom
- MGP identifier
- 112830
Dissertation: Modularity in Model-Oriented Formal Specifications and its Interaction with Formal Reasoning
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Cliff B. JonesInstitution not recorded
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Neil Henderson | University of Newcastle upon Tyne | 2005 | 0 |
| Daniel James Owen | University of Newcastle upon Tyne | 2005 | 0 |
| Andrej Pietschker | University of Newcastle upon Tyne | 2001 | 0 |