运行追踪相关硕士博士期刊学术论文

基于合约的程序设计是提高软件质量的一种重要技术，已经得到了很大的发展。合约描述了程序内部的基本属性、程序良性运行的保证条件......