Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gerardo Ortiz
conf.researchr.org general profile
POPL 2023 profile
Registered user since Mon 12 Dec 2022
Name:
Gerardo Ortiz
Affiliation:
Indiana University
Contributions
2023
PEPM
Author of Symbolic Execution of Hadamard-Toffoli Quantum Circuits within the PEPM 2023-track
Share
x
Thu 25 Apr 22:07
