Formal analysis of the Java Collections Framework

  • M. de Boer

Student thesis: Master's Thesis

Date of Award23 Jul 2021
Original languageEnglish
SupervisorStijn de Gouw (Examiner) & Tanja Vos (Co-assessor)

Master's Degree

  • Master Software Engineering

Cite this

'