Author:
Barnett Mike,Leino K. Rustan M.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Lecture Notes in Computer Science;M. Barnett,2006
2. Barnett, M., Fähndrich, M., Logozzo, F.: Embedded contract languages. In: ACM SAC - OOPS, March 2010. ACM, New York (2010)
3. Barnett, M., Leino, K.R.M.: Weakest-precondition of unstructured programs. In: PASTE 2005: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, pp. 82–87. ACM Press, New York (2005)
4. Lecture Notes in Computer Science;M. Barnett,2005
5. Charguéraud, A.: Program verification through characteristic formulae. In: ACM SIGPLAN International Conference on Functional Programming (to appear, 2010)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying Whiley Programs with Boogie;Journal of Automated Reasoning;2022-03-20
2. Complete Instantiation-Based Interpolation;Journal of Automated Reasoning;2016-04-15
3. Complete instantiation-based interpolation;ACM SIGPLAN Notices;2013-01-23