Not registered as user yet

Name: Marie-Laure Potet

Affiliation: Université Grenoble Alpes

Contributions

ASE 2019Author of Get rid of inline assembly through verification-oriented lifting within the Research Papers-track