Not registered as user yet

Name:Giulia De Santis
Affiliation:University of Verona

Contributions

PLanQC 2021 Author of qKleene: Verification of Quantum RAM Made Easy within the PLanQC 2021-track