Martin Paul Ward
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- United Kingdom
- MGP identifier
- 86841
Dissertation: Proving Program Refinements and Transformations
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Bill (A. W.) RoscoeInstitution not recorded
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Matthias Ladkau | De Montfort University | 2008 | 0 |
| Shaoyun Li | De Montfort University | 2008 | 0 |
| Stefan Natelberg | De Montfort University | 2009 | 0 |