程序验证与系统分析中的若干符号计算问题

【作者】 徐鸣；

【导师】 李志斌；

【作者基本信息】 华东师范大学 ， 系统理论， 2010， 博士