王稚慧
【姓名】 王稚慧
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 不变式,产生器,程序验证,原子公式,T分,符号树,环体,合点,关系运算符,赋值语句,变量,通路,表达式,计算机学报,树表示,逻辑分析,分支规则,TRUE,验证程序,定理证明,
【工作单位】 华北计算技术研究所
【曾工作单位】 华北计算技术研究所;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 0 0 1 2 57
中国期刊全文数据库    共找到1篇
[1]王稚慧,屈延文.不变式产生器——程序验证的重要工具[J]计算机学报.1984,(03)
更多