Cross-Architecture Lifter Synthesis

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92970-5_10 ◽

2018 ◽

pp. 155-170

Author(s):

Rijnard van Tonder ◽

Claire Le Goues

Download Full-text