Exploring the Benefits of Formal Methods in Software Design
: A Case Study

  • Niek C.M. van der Dussen

Student thesis: Master

Date of Award23 Dec 2022
Original languageEnglish
SupervisorPieter J.L. Cuijpers (Supervisor 1) & Siert Wieringa (External coach)

Cite this

Documents

  • pdf

    File: application/pdf, 907 KB

    Type: Thesis

'