• Sign in
  • Sign up
conf.researchr.org / Valentin Perrelle
  • ETAPS 2019 profile
  • POPL 2020 profile

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

Share
xFri 2 Jun 16:59
using conf.researchr.org (v1.60.0)
Support page
Sign Up