Valentin Perrelle -

Not registered as user yet

Name:Valentin Perrelle

Contributions

PLanQC 2020	Author of Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control within the PLanQC-track Author of Qbricks: formal verification in quantum computing within the PLanQC-track
InterAVT 2019	Author of Advances in Usability of Formal Methods for Code Verification within the InterAVT-track