Extending Dafny to concurrency
: Owicki-Gries style program verification for the Dafny program verifier

  • P.E.J.G. Denissen

Scriptie/Masterproef: Master

Datum prijs27 nov 2017
Originele taalEngels
BegeleiderRuurd Kuiper (Afstudeerdocent 1) & Cornelis (Kees) Huizing (Afstudeerdocent 2)

Citeer dit

'