Author:
Delmas David,Souyris Jean
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: Proc. ACM SIGPLAN 2003 Conf. PLDI, San Diego, CA, US, June 7–14, 2003, pp. 196–207. ACM Press, New York (2003)
2. Lecture Notes in Computer Science;P. Cousot,2005
3. Cousot, P.: Interprétation abstraite. Technique et Science Informatique, vol. 19, Nb 1-2-3. Janvier 2000, Hermès, Paris, France, pp. 155–164 (2000)
4. Lecture Notes in Computer Science;P. Cousot,2001
5. Cousot, P., Cousot, R.: Basic Concepts of Abstract Interpretation. In: Jacquard, R. (ed.) Building the Information Society, pp. 359–366. Kluwer Academic Publishers, Dordrecht (2004)
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献