非线性数据结构算法组件的自动构造及其形式化验证
62062039
2020
F0203.软件理论、软件工程与服务
石海鹤
地区科学基金项目
教授
江西师范大学
36万元
形式化方法；形式验证；软件可信性；非线性数据结构；算法自动化
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
未查询到项目成果
查看更多信息请先登录或注册
