Write a Blog >>
François Bobot

Registered user since Mon 3 Apr 2017

Name: François Bobot

Affiliation: CEA

Contributions

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

POPL 2020-profile
View general profile