Practical study of software reverse engineering with formal method

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