Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Wang Fang
conf.researchr.org general profile
PLDI 2024 profile
Not registered as user yet
Name:
Wang Fang
Affiliation:
Institute of Software at Chinese Academy of Sciences and University of Chinese Academy of Sciences
Contributions
2024
PLDI
Author of Symbolic Execution for Quantum Error Correction Programs within the PLDI Research Papers-track
WQS
Author of Efficient Formal Verification of Quantum Error Correcting Programs within the WQS-track
Share
x
Sun 27 Oct 19:38