Verifying Programs Involving Self-Application Using Dafny

  • Pim Remkes

Student thesis: Master

Date of Award10 Nov 2023
Original languageEnglish
SupervisorTom Verhoeff (Supervisor 1) & Cornelis (Kees) Huizing (Supervisor 2)

Cite this

Documents

  • pdf

    File: application/pdf, 1.04 MB

    Type: Thesis

'