|
|||||
|
|
| 基于COQ的有限域GF(2n)的形式化研究 | |
| 引用本文： | 范永乾,陈钢,崔敏.基于COQ的有限域GF(2n)的形式化研究[J].计算机科学,2020,47(12):311-318. |
| 作者姓名： | 范永乾 陈钢 崔敏 |
| 作者单位： | 南京航空航天大学计算机科学与技术学院 南京211100;高安全系统的软件开发与验证技术工信部重点实验室 南京211106 |
| 摘 要： | |
| 关 键 词： | 有限域 COQ 形式化验证 定理证明 多项式运算 |
| 本文献已被 万方数据 等数据库收录！ | |
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |