基于不变式的程序验证工具的设计与实现

【作者】 田丰

【导师】 邓胜兰;

【作者基本信息】 国防科学技术大学 , 计算机技术, 2011, 硕士