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

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

1 results
- Title(descending)
- Award date

Best paper award iFM 2022
de Gouw, Stijn (Recipient), 2022
Prize: Prize (including medals and awards) › Academic