conf.researchr.org / Li Zhou
Registered user since Wed 29 Jan 2020
Name: Li Zhou
Affiliation: Max Planck Institute for Security and Privacy/Tsinghua University
Contributions
| POPL 2020 | Author of Relational Proofs for Quantum Programs within the Research Papers-track |