[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || Cross-Architecture Lifter Synthesis
- 作者Johnsen, Einar Broch; Schaefer, Ina
- 文件大小1138.14KB
- 发表时间2018
- DOI10.1007/978-3-319-92970-5_10
- 页码155-170
海量图书期刊资源，随时随地畅享阅读乐趣