Write a Blog >>

Registered user since Wed 11 Dec 2019

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

Contributions

PLanQC 2020 Qbricks: formal verification in quantum computing
Show activities from other conferences

POPL 2020-profile
View general profile