搜索到 篇“ 程序正确性证明 “的相关文章

相关作者

王彩芬
作品数：147被引量：449H指数：11
供职机构：西北师范大学计算机科学与工程学院
研究主题：双线性对 签密 签密方案 基于身份 签名方案
胡正国
作品数：114被引量：656H指数：13
供职机构：西北工业大学计算机学院
研究主题：信誉度模型 网格计算 INTERNET CORBA WEB
张志斌
作品数：105被引量：87H指数：5
供职机构：中国科学院计算技术研究所
研究主题：统计学 数据分析 计算引擎 计算机科学 数据挖掘技术
苏敏
作品数：1被引量：0H指数：0
供职机构：宁夏大学数学计算机学院
研究主题：程序正确性证明
叶军
作品数：57被引量：107H指数：4
供职机构：西北工业大学机电学院
研究主题：车载GPS 工程图学 教学改革 产品设计 水龙头