Jeffrey John Joyce
Original record- Institution
- University of Cambridge
- Year
- 1990
- Country
- United Kingdom
- MGP identifier
- 72125
Dissertation: Multi-Level Verification of Microprocessor-Based Systems
Advisor 1
- Michael J. C. GordonThe University of Edinburgh · 1973
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Nancy Ann Day | University of British Columbia | 1998 | 1 |
| Michael Ross Donat | University of British Columbia | 1998 | 0 |
| Sreeranga Prasannakumar Rajan | University of British Columbia | 1995 | 0 |