Qafny: A Quantum-Program Verifier.

Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu

Browse the full ECOOP paper archive.