Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hongyi Huang
conf.researchr.org general profile
POPL 2024 profile
Registered user since Thu 14 Dec 2023
Name:
Hongyi Huang
Affiliation:
National University of Singapore
Contributions
2024
PROPL
Author of Formal Methods to Save the Earth within the PROPL-track
Share
x
Sun 22 Dec 03:08