Venue. PEPM Workshop on Partial Evaluation and Program Manipulation · Workshop · ACM 2023 Symbolic Execution of Hadamard-Toffoli Quantum Circuits carette-2023-symbolicPEPM · 2023 DOI