科研项目详细信息
组合约束求解过程及其在程序验证中的应用 | |
徐鸣 | |
华东师范大学 | |
keywords:符号计算;判定过程;约束求解;程序验证;安全攸关系统 | |
keywords: | |
Subject:数学(综合) | |
中国|中文 | |
2017至2017 | |
Source: 科学基金共享服务网(科技成果信息系统) |
组合约束求解过程及其在程序验证中的应用 | |
徐鸣 | |
华东师范大学 | |
keywords:符号计算;判定过程;约束求解;程序验证;安全攸关系统 | |
keywords: | |
Subject:数学(综合) | |
中国|中文 | |
2017至2017 | |
Source: 科学基金共享服务网(科技成果信息系统) |