Not registered as user yet

Name:Vincent Botbol
Country:France
Affiliation:Nomadic Labs

Contributions

SOAP 2022 Abstract interpretation of Michelson smart-contracts
Show activities from other conferences

Using general profile