BAU Guillaume

Team : APR
Invited by : Antoine MINÉ
Arrival date : 01/27/2020
Departure date : 09/30/2020

Research activity

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