Feifei Cheng, Sushen Vangeepuram, Henry Allard, Seyed Mohammad Reza Jafari, Alex Potanin, Liyi Li 0002. Embedding Quantum Program Verification into Dafny. Proceedings of the ACM on Programming Languages, 9(OOPSLA2):2981-3007, 2025. [doi]
Abstract is missing.