Hans-Dieter Hiep

Registered user since Tue 30 Aug 2022

Name:Hans-Dieter Hiep
Affiliation:Leiden Institute of Advanced Compter Science (LIACS) & Centrum Wiskunde Informatica (CWI)


POPL 2023 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
FTfJP 2020 Author of History-based Specification and Verification of Java Collections in KeY within the FTfJP-track