Qafny: A Quantum-Program Verifier. - Liyi Li 002; Mingwei Zhu; Rance Cleaveland; Alexander Nicolellis; Yi Lee; Le Chang; Xiaodi Wu 001 (ECOOP, 2024)

Qafny: A Quantum-Program Verifier (Artifact). - Liyi Li 002; Mingwei Zhu; Rance Cleaveland; Alexander Nicolellis; Yi Lee; Le Chang; Xiaodi Wu 001 (Dagstuhl Artifacts Ser., 2024)