Author:
Albarghouthi Aws,Li Yi,Gurfinkel Arie,Chechik Marsha
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Computer Science;A. Albarghouthi,2012
2. Lecture Notes in Computer Science;A. Albarghouthi,2012
3. Lecture Notes in Computer Science;T. Ball,2001
4. Lecture Notes in Computer Science;T. Ball,2001
5. Beyer, D.: Competition On Software Verification (2012),
http://sv-comp.sosy-lab.org/
Cited by
70 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献