Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mengyu Zhao
conf.researchr.org general profile
PLDI 2025 profile
Not registered as user
Name:
Mengyu Zhao
Country:
China
Affiliation:
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
Contributions
2025
PLDI
Author of Efficient Formal Verification of Quantum Error Correcting Programs within the PLDI Research Papers-track
Share
x
Thu 5 Nov 14:41