跳到主要内容
牛津大学计算机科学系
搜索
搜索
切换
主菜单
主页
和我们一起学习
研究
(当前)
新闻
事件
关于我们
学生空间
与我们合作
主页
研究
安全
原产地作为安全控制
原产地作为安全控制
安德鲁·马丁、约翰·莱尔和科尼利厄斯·纳米卢科
书籍标题
2012年TaPP会议记录:第四届USENIX种源理论与实践研讨会
出版商
USENIX公司
年份
2012
链接
BibTeX公司
链接
另请参见
约翰·莱尔
安德鲁·马丁
科尼利厄斯·纳米卢科
软件工程
系统安全
安全
算法与复杂性理论
人工智能与机器学习
自动验证
计算生物学与健康信息学
数据、知识和行动
以人为中心的计算
编程语言
量子
安全
活动
项目
人
出版物
系统
返回页首