Carron Shankland
Original record- Institution
- University of Glasgow
- Year
- 1994
- Country
- United Kingdom
- MGP identifier
- 114393
Dissertation: Verification of LOTOS Specifications Using Term Rewriting
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Muffy Calder (née Thomas)University of St. Andrews · 1988
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Soufiene Benkirane | University of Stirling | 2012 | 0 |
| Chris McCaig | University of Stirling | 2008 | 0 |
| David Ralix Oaken | University of Stirling | 2014 | 0 |