Verifying Programs Involving Self-Application Using Dafny

  • Pim Remkes

Scriptie/Masterproef: Master

Datum prijs10 nov. 2023
Originele taalEngels
BegeleiderTom Verhoeff (Afstudeerdocent 1) & Cornelis (Kees) Huizing (Afstudeerdocent 2)

Citeer dit

Documenten

  • pdf

    Bestand: application/pdf, 1,04 MB

    Type: Scriptie

'