- Research
- Publications
Journal Article
L. Li, Zhu, M., Cleaveland, R., Lee, Y., Chang, L., and Wu, X.,
“Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic”, 2023.
L. Li, Zhu, M., Cleaveland, R., Nicolellis, A., Lee, Y., Chang, L., and Wu, X.,
“Qafny: A Quantum-Program Verifier”, 2024.