形式化技术应用于软件逆工程的实践研究

• Practical study of software reverse engineering with formal method