中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共1条,第1-1条 帮助

条数/页: 排序方式:
A property-based testing framework for encryption programs 期刊论文  OAI收割
Frontiers of Computer Science, 2014, 卷号: 8, 期号: 3, 页码: 478-489
Sun, Chang-ai (1); Wang, Zuoyi (1); Wang, Guan (1)
  |  收藏  |  浏览/下载:18/0  |  提交时间:2014/12/16