PROCEED and Crowd-sourced Formal Verification

著录项

• 作者

  Dean, D.;

  展开▼
• 作者单位

  展开▼
• 年度 2011
• 页码 1-10
• 总页数 10
• 原文格式 PDF
• 正文语种 eng
• 中图分类 工业技术;
• 关键词

  Computer network security ; Cloud computing ; Computer program verification;

  机译：计算机网络安全;云计算;计算机程序验证;