| Datum prijs | 10 nov. 2023 |
|---|---|
| Originele taal | Engels |
| Begeleider | Tom Verhoeff (Afstudeerdocent 1) & Cornelis (Kees) Huizing (Afstudeerdocent 2) |
Citeer dit
- Standard
Verifying Programs Involving Self-Application Using Dafny
Scriptie/Masterproef: Master