Wolfram Schulte 人物
相关论文查看全部 (7)
The Spec# Programming System: An Overview
2005Lecture notes in computer science引用 985
VCC: A Practical System for Verifying Concurrent C
2009Lecture notes in computer science引用 535
Verification of Object-Oriented Programs with Invariants.
2004The Journal of Object Technology引用 327
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
2005Lecture notes in computer science引用 282
相关公司
暂无数据
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据