History-based Specification and Verification of Java Collections in KeY (iFM2020)
Channel: Hans-Dieter Hiep
Date: 2021-08-19

Back-up video presentation of the paper History-based Specification and Verification of Java Collections in KeY.