郭丽
【姓名】 郭丽
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 高可信软件,安全程序,形式化证明方法,证明工具Coq,安全策略,代码块,构造程序,程序规范,归纳定义,类型安全,双向循环链表,函数,软件可靠性,属性,子目标,定理证明,携带,后条件,前条件,验证技术,
【工作单位】 中国科学技术大学
【曾工作单位】 中国科学技术大学;
【所在地域】 合肥
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 1 1 7 215
中国期刊全文数据库    共找到1篇
[1]郭丽;陈意云;李隆;李兆鹏;.基于Coq构造携带证明的安全程序[J]计算机工程与应用.2006,(21)
更多