Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States

Not registered as user yet

Name: Marie-Laure Potet

Affiliation: Université Grenoble Alpes

Contributions

ASE 2019 Get rid of inline assembly through verification-oriented lifting
Show activities from other conferences

ASE 2019-profile
View general profile