Author:
Henzinger Thomas A.,Jhala Ranjit,Majumdar Rupak,Sutre Grégoire
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. T. Ball, R. Majumdar, T. Millstein, and S. K. Rajamani. Automatic predicate abstraction of C programs. In PLDI 01: Programming Language Design and Implementation, pages 203–213. ACM, 2001.
2. Lect Notes Comput Sci;S. Das,1999
3. D. Detlefs, G. Nelson, and J. Saxe. Simplify theorem prover.
4. Lect Notes Comput Sci;T. A. Henzinger,2002
5. T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In POPL 02: Principles of Programming Languages, pages 58–70. ACM, 2002.
Cited by
134 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献