IdentityHashMap

MaRDI QIDQ5974139swMATHFDO

Official website https://docs.oracle.com/javase/1.5.0/docs/api/java/util/IdentityHashMap.html

Described by source

• Formal specification and verification of JDK's identity hash map implementation

Cited in

(4)

• JMLUnit
• Eclat
• Rostra
• JBMC

This page was built for software: IdentityHashMap