|
已选(0)清除
条数/页： 排序方式：
|
| 基于抽象不变式的程序安全性验证 期刊论文
清华大学学报(自然科学版), 2016, 卷号: 56, 页码: 777-784
作者: 张; 钱俊彦; 李舟军; 马殿富
  收藏 | 浏览/下载：6/0 | 提交时间：2019/12/30
|
| 指导性案例:扩大行政诉讼受案范围的司法探索 期刊论文
行政论坛, 2015, 卷号: 22, 期号: 04, 页码: 65-69
作者: 孙光宁
收藏 | 浏览/下载：8/0 | 提交时间：2019/12/17
|
| 基于抽象解释的服务间消息的数据约减 期刊论文
计算机科学, 2015, 卷号: 42, 期号: 12
作者: 文静; 高荣; 肖芳雄; 蒋曹清; 应时
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 基于抽象解释的不变式验证 会议论文
第八届信息安全漏洞分析与风险评估大会论文集中国信息安全测评中心, 北京, 2015-10-23
作者: 张; 钱俊彦; 李舟军; 马殿富
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/30
|
| 基于完备抽象解释的性质强保留抽象研究 期刊论文
计算机学报, 2014, 卷号: 37, 期号: 8
作者: 钱俊彦; 赵岭忠; 蔡国永
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 抽象结果加重构成的解释方法与路径——兼析两个司法解释的缺陷 期刊论文
法律方法, 2014, 卷号: 第1期, 页码: 375-389
作者: 彭辅顺
收藏 | 浏览/下载：8/0 | 提交时间：2019/12/31
|
| 抽象司法解释废止论 学位论文
2013
作者: 吴磊
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 基于SMT求解器的路径敏感程序验证 期刊论文
软件学报, 2012, 卷号: 23, 期号: 10
作者: 何炎祥; 吴伟; 陈勇; 徐超
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/05
|
| 从抽象危险犯理论论醉酒驾驶可罚性 学位论文
2011
作者: 靳宁
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 快速自动程序流分析方法研究 期刊论文
计算机工程, 2010, 卷号: 36, 页码: 55-56
作者: 吴国伟; 曹厚华
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/24
|
