| Date of Award | 23 Jul 2021 |
|---|---|
| Original language | English |
| Supervisor | Stijn de Gouw (Examiner) & Tanja Vos (Co-assessor) |
Master's Degree
- Master Software Engineering
Formal analysis of the Java Collections Framework
Student thesis: Master's Thesis