二进制翻译形式化模型
이진제번역형식화모형
Formal Modeling of Binary Translation
저자의 최근 논문