ISSTA/ECOOP 2024 (series) / 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
ISSTA/ECOOP 2024-profile
View general profile
View general profile