A Practical Specification Language for Automatic Quantum Program Verification.

Wei-Lun Tsai, Yu-Fang Chen, Ondrej Lengl

Browse the full CAV paper archive.