David Roger Gilbert
Original record- Institution
- Imperial College London
- Year
- 1990
- Country
- United Kingdom
- MGP identifier
- 252403
Dissertation: Specifying and Reasoning about Concurrent Systems in Logic
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Christopher HoggerImperial College London · 1968
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Aik Choon Tan | University of Glasgow | 2004 | 0 |