| Datum prijs | 30 jun. 2013 |
|---|---|
| Originele taal | Engels |
| Begeleider | Jan Friso Groote (Afstudeerdocent 1) & Rudolf G.M. Huisman (Afstudeerdocent 2) |
Citeer dit
- Standard
Vehicle function correctness: using mCRL2 to compare higher and lower level models
Scriptie/Masterproef: Master