BAU Guillaume

Team : APR
Invited by : Antoine MINÉ
Arrival date : 09/01/2020
Departure date : 12/31/2020

Research activity

Analyse statique par interprétation abstraite de Smart contract en Michelson

Departure date : 12/31/2020