Author:
Clarke Edmund,Grumberg Orna,Talupur Muralidhar,Wang Dong
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Ball, T., Majumdar, R., Millstein, T., Rajamani, S.K.: Automatic Predicate Abstraction of C Programs. In: PLDI (2001)
2. Lecture Notes in Computer Science;T. Ball,2001
3. Lecture Notes in Computer Science;S. Bensalem,1998
4. Bryant, R.E.: Graph-based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers C-35(8), 677–691 (1986)
5. Computer Science and Applied Mathematics Series;C.-L. Chang,1973
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献