Dan Hao - ISSTA/ECOOP 2024

Mon 16 - Fri 20 September 2024 Vienna, Austria

Registered user since Fri 6 Apr 2018

Name:Dan Hao

Country:China

Affiliation:Peking University

Personal website: https://sites.google.com/view/danhao/

Contributions

2024

ECOOP

Formalizing, Mechanizing, and Verifying Class-based Refinement Types

ISSTA

Show activities from other conferences

ISSTA/ECOOP 2024-profile
View general profile