1. Lecture Notes in Computer Science;R. Bagnara,2003
2. Lecture Notes in Computer Science;R. Bagnara,2002
3. 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: ACM SIGPLAN PLDI 2003, vol. 548030, pp. 196–207. ACM Press, New York (2003)
4. Blume, W., Eigenmann, R.: Symbolic range propagation. In: Proceedings of the 9th International Parallel Processing Symposium (April 1995)
5. Chvátal, V.: Linear Programming. Freeman (1983)