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 TechniquesLogic, programming, and type systemsEmbedded Systems Design Techniques
相关技术:Parallel Computing and Optimization Techniques
关系图谱

5

作者

1

相关技术

0

相关事件

0

相关文章

作者查看全部 (5)

K

K. Rustan M. Leino

B

Bart Jacobs

R

Robert DeLine

B

Bor-Yuh Evan Chang

相关技术查看全部 (1)

Parallel Computing and Optimization Techniques

相关事件

暂无数据

相关文章

暂无数据