Bart Jacobs 人物
相关论文查看全部 (4)
Boogie: A Modular Reusable Verifier for Object-Oriented Programs
2006Lecture notes in computer science引用 790
Categorical Logic and Type Theory
1999引用 481
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java
2011Lecture notes in computer science引用 352
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据