Registered user since Wed 29 Jan 2020

Name:Li Zhou
Affiliation:Max Planck Institute for Security and Privacy

Contributions

POPL 2023 CoqQ: Foundational Verification of Quantum Programs
Show activities from other conferences

Using general profile