概率程序验证的理论研究
61802254
2018
F0201.计算机科学的基础理论
符鸿飞
青年科学基金项目
讲师
上海交通大学
26万元
程序正确性;功能性;安全性;概率程序;程序验证
2019-01-01到2021-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
未查询到项目成果
查看更多信息请先登录或注册
趋势报告
