| 【项目名称】 |
面向携带证明软件设计的语言、逻辑和证明 |
| 【项目编号】 |
907108026 |
| 【项目目标】 |
|
| 【项目关键词】 |
软件设计;语言;逻辑;携带;证明 |
| 【项目承办单位】 |
中国科学技术大学; |
| 【项目负责人】 |
陈意云; |
| 【项目来源】 |
国家自然科学基金项目 |
| 【涉及学科】 |
计算机软件及计算机应用; |
| 【科研经费】 |
50万 |
| 【所属大项目】 |
可信软件基础研究 |
| 【项目参与研究人员】 |
|
| 【项目参与研究机构】 |
|
| 【项目成果摘要】 |
|
| 【发布单位】 |
国家自然科学基金委员会 |
| 【发布时间】 |
2007-09-17 |
| 【申请截止时间】 |
2007-10-26 |
| 【立项时间】 |
2008-01 |
| 【完成时间】 |
2010-12 |
| 【申请条件】 |
|
| 【联系方式】 |
|
| 【项目信息来源】 |
http://www.nsfc.gov.cn/Portal0/InfoModule_396/23144.htm |