这个网站是通过捐款来支持的。
OEIS基金会
.
用户:Barry Fagin
从奥伊斯维基
跳转到:
导航
,
搜索
我是科罗拉多斯普林斯空军学院计算机科学教授。
我目前正在研究使用形式化方法来生产具有可证明安全属性、密码学和计算机科学教育的开源软件。
导航菜单
意见
用户页面
讨论
查看来源
历史
个人工具
登录
请求帐户
导航
奥伊斯
维基主页
社区门户
系统状态
最近更改
随机页面
帮助
搜索
高级搜索
工具
链入页面
相关变化
用户贡献
日志
查看用户组
专版
可打印版
永久链接
页面信息