ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
Jinhao Tan

Registered user since Fri 17 Mar 2023

Name:Jinhao Tan
Country:China
Affiliation:University of Hong Kong
Research interests:Programming Languages, Formal Verification, Logics

Contributions

Show activities from other conferences

ISSTA/ECOOP 2024-profile
View general profile