Skip to main content

Qafny: A Quantum-Program Verifier

Breadcrumb

  1. Home
  2. Publications
Author
Liyi Li
Mingwei Zhu
Rance Cleaveland
Alexander Nicolellis
Yi Lee
Le Chang
Xiaodi Wu
Year of Publication
2024
Conference Name
ECOOP 2024
Date Published
09/2024
URL
https://arxiv.org/abs/2211.06411
DOI
10.4230/LIPIcs.ECOOP.2024.24
  • DOI
  • Google Scholar
Group
QuICS
Wu Research Group