ECOOP and ISSTA 2023
Mon 17 - Fri 21 July 2023 Seattle, Washington, United States
ECOOP and ISSTA 2023 (series) / Hoang-Hai Dang
Hoang-Hai Dang

Registered user since Wed 10 May 2017

Name:Hoang-Hai Dang
Country:Germany
Affiliation:BedRock Systems
Personal website:https://mpi-sws.org/~haidang/
Research interests:Verification, Concurrency, Logics

Contributions

ECOOP 2023 Committee Member in Artifact Evaluation Committee within the Artifacts-track
Committee Member in Extended Review Committee within the Research Papers-track
Show activities from other conferences

Using general profile