Alexander Nicolellis

Li, L. ., Zhu, M. ., Cleaveland, R. ., Nicolellis, A. ., Lee, Y. ., Chang, L. ., & Wu, X. . (2024). Qafny: A Quantum-Program Verifier. In ECOOP 2024. http://doi.org/10.4230/LIPIcs.ECOOP.2024.24 (Original work published September 2024)