Author:
Becker Hanno,Crespo Juan Manuel,Galowicz Jacek,Hensel Ulrich,Hirai Yoichi,Kunz César,Nakata Keiko,Sacchini Jorge Luis,Tews Hendrik,Tuerk Thomas
Publisher
Springer International Publishing
Reference25 articles.
1. Lecture Notes in Computer Science;G Barthe,2011
2. Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Rival, X.: Static analysis and verification of aerospace software by abstract interpretation. Found. Trends Program. Lang. 2(2–3), 71–190 (2015)
3. Lecture Notes in Computer Science;G Brat,2015
4. Brucker, A.D., Wolff, B.: On theorem prover-based testing. Formal Aspects Comput. 25(5), 683–721 (2013)
5. Cai, H., Shao, Z., Vaynberg, A.: Certified self-modifying code. In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10–13, 2007, pp. 66–77 (2007)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献