doc
doc copied to clipboard
review: Cross-architecture lifter synthesis
R. van Tonder and C. Le Goues, Cross-architecture lifter synthesis, in International Conference on Software Engineering and Formal Methods, pp. 155–170, Springer, 2018.
https://par.nsf.gov/servlets/purl/10082069