| Date of Award | 23 Dec 2022 |
|---|---|
| Original language | English |
| Supervisor | Pieter J.L. Cuijpers (Supervisor 1) & Siert Wieringa (External coach) |
Cite this
- Standard
Exploring the Benefits of Formal Methods in Software Design: A Case Study
Student thesis: Master