conf.researchr.org / Guillaume Bau
Not registered as user yet
Name:Guillaume Bau
Contributions
| SOAP 2022 | Presenter of Abstract interpretation of Michelson smart-contracts within the SOAP 2022-track |
| VMCAI 2021 | Committee Member in Artifact Evaluation Committee within the VMCAI-track |