TY  - RPRT
TI  - Qafny: A Quantum-Program Verifier
AU  - Liyi Li
AU  - Mingwei Zhu
AU  - Rance Cleaveland
AU  - Alexander Nicolellis
AU  - Yi Lee
AU  - Le Chang
AU  - Xiaodi Wu
PY  - 2024
UR  - https://arxiv.org/abs/2211.06411
ID  - 2211.06411
ER  -