Robert Rand
Robert Rand
Courses
Publications
Talks
Service
ChiQP Lab
CV
Light
Dark
Automatic
QWIRE Practice: Formal Verification of Quantum Circuits in Coq
Robert Rand
,
Jennifer Paykin
,
Steve Zdancewic
June 2017
PDF
Cite
Code
Slides
DOI
Type
Conference paper
Publication
International Conference on Quantum Physics and Logic (QPL 2017)
Cite
×