Author:
Blazy Sandrine,Bühler David,Yakobowski Boris
Publisher
Springer International Publishing
Reference23 articles.
1. Lecture Notes in Computer Science;G Balakrishnan,2006
2. Beyer, D., Henzinger, T.A., Théoduloz, G.: Program analysis with dynamic precision adjustment. In: ASE, pp. 29–38 (2008)
3. Bonichon, R., Cuoq, P.: A mergeable interval map. Stud. Inform. Univ. 9(1), 5–37 (2011)
4. Boulanger, J.-L. (ed.): Static Analysis of Software: The Abstract Interpretation. Wiley-ISTE, New York (2011)
5. Lecture Notes in Computer Science;G Brat,2014
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献