吉林大学学报（信息科学版）2003，Vol.21Issue(4)：387-392,6.
用形式化和非形式化技术对VB程序逆向工程
Using formal and informal techniques for reverse engineering of VB program
摘要
关键词
逆向工程/形式化规格说明/形式化方法分类
信息技术与安全科学引用本文复制引用
何丽莉,胡成全,齐红,张卓鹏..用形式化和非形式化技术对VB程序逆向工程[J].吉林大学学报（信息科学版）,2003,21(4):387-392,6.基金项目
国家自然科学基金资助项目(60175024) （60175024）
国家教育部符号计算与知识工程重点实验室基金资助项目 （）
