Best paper award iFM 2022

Prize: Prize (including medals and awards) › Academic

Awarded date	2022

Awarded at event

Event title	17th International Conference on integrated Formal Methods
Location	Lugano, SwitzerlandShow on map
Period	7 Jun 2022 → 10 Jun 2022

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