Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hanru Jiang
conf.researchr.org general profile
SPLASH 2022 profile
Registered user since Mon 21 Nov 2022
Name:
Hanru Jiang
Country:
China
Affiliation:
Beijing Institute of Mathematical Sciences and Applications
Contributions
2022
SPLASH
Author of On incorrectness logic for Quantum programs within the OOPSLA-track
Share
x
Thu 18 Apr 19:18