Author:
Rakamarić Zvonimir,Hu Alan J.
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. The DDVerify verification tool (2007) (Cited: August 15, 2008), http://www.verify.ethz.ch/ddverify/
2. Ball, T., Majumdar, R., Millstein, T., Rajamani, S.K.: Automatic predicate abstraction of C programs. In: ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), pp. 203–213 (2001)
3. Lecture Notes in Computer Science;M. Barnett,2006
4. Barnett, M., Leino, K.R.M.: Weakest-precondition of unstructured programs. In: Workshop on Program Analysis For Software Tools and Engineering (PASTE), pp. 82–87 (2005)
5. Lecture Notes in Computer Science;M. Barnett,2006
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献