Login / Signup

QWIRE Practice: Formal Verification of Quantum Circuits in Coq.

Robert RandJennifer PaykinSteve Zdancewic
Published in: QPL (2017)
Keyphrases