Pages that link to "Item:Q2165501"

The following pages link to Formal specification and verification of JDK's identity hash map implementation (Q2165501):

Displaying 2 items.

• Integrating ADTs in KeY and their application to history-based reasoning about collection (Q6185826) (← links)
• Formal specification and verification of JDK's identity hash map implementation (Q6611956) (← links)