Invited talk: Formal Verification of Quantum Protocols.

Yuxin Deng

Browse the full ICFEM paper archive.