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