A Theorem Prover for Quantum Hoare Logic and Its Applications.

Citation:
2016
Issue Date:
2016
Full metadata record
Files in This Item:
Filename Description Size
1601.03835v1.pdfPublished Version211.69 kB
Adobe PDF
Please use this identifier to cite or link to this item: