Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley (1986)
2. Lecture Notes in Computer Science;A. Albarghouthi,2012
3. Lecture Notes in Computer Science;T. Ball,2001
4. Ball, T., Rajamani, S.K.: The Slam project: Debugging system software via static analysis. In: Proc. POPL, pp. 1–3. ACM (2002)
5. Lecture Notes in Computer Science;D. Beyer,2012
Cited by
70 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献