Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Scott Wesley
conf.researchr.org general profile
ISSTA/ECOOP 2024 profile
POPL 2025 profile
Not registered as user
Name:
Scott Wesley
Affiliation:
Dalhousie University
Contributions
2025
PLanQC
Author of Verifying the Equivalence of Parameterized Quantum Circuits within the PLanQC 2025-track
2024
ECOOP
Author of Inductive Predicate Synthesis Modulo Programs within the Technical Papers-track
Share
x
Mon 5 May 12:52
