Hans-Dieter Hiep - ECOOP 2020

Sun 15 - Tue 17 November 2020 Online Conference

co-located with SPLASH 2020

Registered user since Tue 30 Aug 2022

Name:Hans-Dieter Hiep

Contributions

2020

FTfJP

History-based Specification and Verification of Java Collections in KeY

Show activities from other conferences

SPLASH 2020-profile
View general profile