Smallfoot: Modular Automatic Assertion Checking with Separation Logic 论文

2006Lecture notes in computer science引用 311

Logic, programming, and type systemsSecurity and Verification in ComputingParallel Computing and Optimization Techniques

网络安全 Parallel Computing and Optimization Techniques Security and Verification in Computing Logic, programming, and type systems

相关技术:Parallel Computing and Optimization Techniques

Smallfoot: Modular Automatic Assertion Checking with Separation Logic · 相关事件

暂无数据