TY  - RPRT
TI  - Get rid of inline assembly through verification-oriented lifting
AU  - Frédéric Recoules
AU  - Sébastien Bardin
AU  - Richard Bonichon
AU  - Laurent Mounier
AU  - Marie-Laure Potet
PY  - 2019
UR  - https://arxiv.org/abs/1903.06407
ID  - 1903.06407
ER  -