Datum prijs | 27 nov. 2017 |
---|---|
Originele taal | Engels |
Begeleider | Ruurd Kuiper (Afstudeerdocent 1) & Cornelis (Kees) Huizing (Afstudeerdocent 2) |
Extending Dafny to concurrency: Owicki-Gries style program verification for the Dafny program verifier
Scriptie/Masterproef: Master