Author:
Arlt Stephan,Liu Zhiming,Schäf Martin
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;A. Albarghouthi,2012
2. Lecture Notes in Computer Science;S. Arlt,2012
3. Barnett, M., Leino, K.R.M.: Weakest-precondition of unstructured programs. SIGSOFT Softw. Eng. Notes 31, 82–87 (2005)
4. Lecture Notes in Computer Science;C. Bertolini,2012
5. Christ, J., Hoenicke, J., Schäf, M.: Towards Bounded Infeasible Code Detection. CoRR, abs/1205.6527 (2012)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hidden truths in dead software paths;Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering;2015-08-30
2. The Gradual Verifier;Lecture Notes in Computer Science;2014