Boogie: a modular reusable verifier for object-oriented programs 论文

2006引用 244

Parallel Computing and Optimization TechniquesEmbedded Systems Design TechniquesLogic, programming, and type systems

Parallel Computing and Optimization Techniques Logic, programming, and type systems Embedded Systems Design Techniques

相关技术:Parallel Computing and Optimization Techniques

Boogie: a modular reusable verifier for object-oriented programs · 相关文章

暂无数据