基于符号计算方法的程序验证技术研究

【作者】 武斌

【导师】 杨路;

【作者基本信息】 华东师范大学 , 系统分析与集成, 2010, 博士