Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Lecture Notes in Computer Science;D. Babić,2007
2. Babić, D., Musuvathi, M.: Modular Arithmetic Decision Procedure. Technical Report TR-2005-114, Microsoft Research Redmond (2005)
3. Lecture Notes in Artificial Intelligence;T. Ball,2005
4. Ball, T., Majumdar, R., Millstein, T., Rajamani, S.K.: Automatic predicate abstraction of C programs. In: PLDI, ACM SIGPLAN Notices, vol. 36, pp. 203–213 (2001)
5. Lecture Notes in Computer Science;R.E. Bryant,2007
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献