Formal Specification and Verification of JDK's Identity Hash Map Implementation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl. Formal Specification and Verification of JDK's Identity Hash Map Implementation. Formal Asp. Comput., 35(3), September 2023. [doi]

This author has not been identified. Look up 'Martin de Boer' in GoogleThis author has not been identified. It may be one of the following persons:

Stijn de Gouw

Look up 'Stijn de Gouw' in GoogleThis author has not been identified. Look up 'Jonas Klamroth' in GoogleThis author has not been identified. Look up 'Christian Jung' in GoogleThis author has not been identified. Look up 'Mattias Ulbrich' in GoogleThis author has not been identified. Look up 'Alexander Weigl' in Google

runs on WebDSL