这个网站是通过捐款来支持的。OEIS基金会.

用户:Barry Fagin

从奥伊斯维基
跳转到:导航搜索

我是科罗拉多斯普林斯空军学院计算机科学教授。我目前正在研究使用形式化方法来生产具有可证明安全属性、密码学和计算机科学教育的开源软件。