Title: Biblio RTF Export
Author: Biblio 7.x

L.  Li, Zhu, M., Cleaveland, R., Lee, Y., Chang, L., and Wu, X., ?Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic?, 2023.

K. - M.  Chung, Lee, Y., Lin, H. - H., and Wu, X., ?Constant-round Blind Classical Verification of Quantum Sampling?, 2020.