Qafny: A Quantum-Program Verifier

Publication Details

Authors

Publication Type

Conference Paper

Year of Publication

2024

Date Published

09/2024

DOI

10.4230/LIPIcs.ECOOP.2024.24

URL

https://arxiv.org/abs/2211.06411