文章基本信息
- 标题：A Computer Proven Application of the Discrete Logarithm Problem
- 作者：Sebastian Kusch ; Markus Kaiser
- 期刊名称：International Journal of Computer Science
- 出版年度：2007
- 卷号：2
- 期号：02
- 出版社：World Enformatika Society
- 关键词：formal proof system; higher-order logic; formal verification
Loading...
