Sriram K. Rajamani 人物
相关论文查看全部 (10)
The S <scp>LAM</scp> project
2002引用 926
Automatic predicate abstraction of C programs
2012ACM SIGPLAN Notices引用 703
MOCHA: Modularity in model checking
1998Lecture notes in computer science引用 385
相关公司查看全部 (2)
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据