Runtime Verification of Hash Code in Mutable Classes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi. Runtime Verification of Hash Code in Mutable Classes. In Aaron Tomb, editor, Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023. pages 25-31, ACM, 2023. [doi]

This author has not been identified. Look up 'Davide Ancona' in GoogleThis author has not been identified. Look up 'Angelo Ferrando 0001' in GoogleThis author has not been identified. Look up 'Viviana Mascardi' in Google

runs on WebDSL