Leonardo Venturi -

Not registered as user

Name:Leonardo Venturi

Affiliation:University of Bologna

Contributions

2025

PLanQC

Author of Size Analysis of Imperative Quantum Circuit Building Programs Through Floyd-Hoare Logics within the PLanQC 2025-track