Boogie: A Modular Reusable Verifier for Object-Oriented Programs 论文
2006Lecture notes in computer science引用 790
Logic, programming, and type systemsFormal Methods in VerificationSoftware Testing and Debugging Techniques
详细信息
- 发表期刊/会议
- Lecture notes in computer science
- 发表日期
- 2006-01-01
- 发表年份
- 2006
关键词
Logic, programming, and type systemsFormal Methods in VerificationSoftware Testing and Debugging Techniques