一个用于指针程序验证的自动定理证明器的设计与实现

文件格式： PDF文档
文件大小： 518.01 KB
资源类别： 计算机
关键词： 定理   指针   验证   自动   用于
进入标准下载页面
本资源下载需 1 点

论文简介

一个用于指针程序验证的自动定理证明器的设计与实现
相关推荐