用于指针逻辑的自动定理证明器的设计与实现

【作者】 王振明

【导师】 陈意云;

【作者基本信息】 中国科学技术大学 , 计算机软件与理论, 2009, 博士