1. Adje, A., Gaubert, S., Goubault, E.: Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis. In: Proceedings of European Symposium on Programming (to appear, 2010)
2. Lecture Notes in Computer Science;X. Allamigeon,2008
3. Bouissou, O., Conquet, E., Cousot, P., Cousot, R., Feret, J., Ghorbal, K., Goubault, E., Lesens, D., Mauborgne, L., Mine, A., Putot, S., Rival, X.: Space software validation using abstract interpretation. In: Proceedings of the Int. Space System Engineering Conference, Data Systems in Aerospace DASIA’09 (2009)
4. Comba, J.L.D., Stolfi, J.: Affine arithmetic and its applications to computer graphics. In: Proceedings of SIBGRAPI (1993)
5. Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Proceedings of Principles Of Programming Languages, pp. 269–282. ACM Press, New York (1979)