Formal Specification and Verification of JDK's Identity Hash Map Implementation. - Martin de Boer; Stijn de Gouw; Jonas Klamroth; Christian Jung 003; Mattias Ulbrich; Alexander Weigl (Formal Aspects Comput., 2023)