Formal analysis of the Java Collections Framework

Back to results

Open Universiteit

dc:creator de Boer, M.

dc:date2021

Author and committee

dc:creator, dc:contributor.*

dc:identifier.*

Repository record dc:identifier: https://research.ou.nl/en/studentTheses/3651d230-0f9a-4f54-b2f1-c0dd7375da3a
OAI identifier oai:identifier: oai:research.ou.nl:studenttheses/3651d230-0f9a-4f54-b2f1-c0dd7375da3a

Chain of custody

source

related terms

citation

de Boer, M.. Formal analysis of the Java Collections Framework. 2021. https://research.ou.nl/en/studentTheses/3651d230-0f9a-4f54-b2f1-c0dd7375da3a