Journal of the ACM （JOLACM） - Issue 228 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 228 |
| 发布时间： |
| 卷期年份： 2005 |
| 卷期官网： |
本期论文列表
Simplify: a theorem prover for program checking.
Beyond proof-of-compliance: security analysis in trust management.
An improved exponential-time algorithm for