Formal analysis of the Java Collections Framework

  • M. de Boer

Student thesis: Master's Thesis

Abstract

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

Cite this

'