最强后条件相关硕士博士期刊学术论文 - 搜论网

最强后条件相关论文

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

形式化技术为软件逆工程提供严格和完备的理论基础,但应用于实践的非常少.介绍了一种将形式化方法应用于逆工程的具体实现方法,应......

期刊

软件逆工程形式化技术最强后条件命令语言 reverse engineering formal method strongest post-conditio

看过本文同时还关注