TY  - RPRT
TI  - Sound Transpilation from Binary to Machine-Independent Code
AU  - Roberto Metere
AU  - Andreas Lindner
AU  - Roberto Guanciale
PY  - 2018
DO  - 10.1007/978-3-319-70848-5_13
UR  - https://arxiv.org/abs/1807.10664
ID  - 1807.10664
ER  -