Skip to main navigation Skip to search Skip to main content

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 proceedingConference Article in proceedingAcademicpeer-review

Search results