| 标题 |
 Securify 相关领域
正确性
计算机科学
计算机安全
可扩展性
财产（哲学）
依赖关系图
领域（数学分析）
依赖关系（UML）
审计
可扩展性
编码（集合论）
智能合约
计算机安全模型
图形
数据库
程序设计语言
软件工程
理论计算机科学
块链
业务
会计
数学分析
哲学
集合（抽象数据类型）
认识论
数学
|
| 网址 | |
| DOI | |
| 其它 |
期刊：Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security 作者：Petar Tsankov; Andrei Dan; Dana Drachsler-Cohen; Arthur Gervais; Florian Bünzli; Martin Vechev 出版日期：2018 |
| 求助人 |
研友_Lw4kGn 在
2021-01-27 02:34:55 发布，悬赏 10 积分
|
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
薰硝壤
不配.
Henry
Singularity
浅尝离白
8R60d8
个性的紫菜
juziyaya
iNk
咖啡豆
寻道图强
有人
Leonardi
shinysparrow
竹筏过海
加菲丰丰
pcr163
肯德鸭
itsserene
kento
皖公网安备34019202002308
