Formal Specification and Verification of JDK's Identity Hash Map Implementation.

Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl

Browse the full IFM paper archive.