Registered user since Wed 11 Dec 2019

Name:Christopĥe Chareton
Affiliation:CEA, LIST, France

Contributions

PLanQC 2020 Author of Qbricks: formal verification in quantum computing within the PLanQC-track