Formal analysis of the Java Collections Framework

M. de Boer

Department of Computer Science

Student thesis: Master's Thesis

Date of Award	23 Jul 2021
Original language	English
Supervisor	Stijn de Gouw (Examiner) & Tanja Vos (Co-assessor)

Master's Degree

Master Software Engineering

Cite this

Documents

Boer M de IM9906 AF SE scriptie_PURE
File: application/pdf, 3.56 MB
Type: Thesis

Related content

Prizes
Best paper award iFM 2022
Prize: Prize (including medals and awards) › Academic

Research output
Formal Specification and Verification of JDK's Identity Hash Map Implementation
Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

'