Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival. Combination of Abstractions in the ASTRÉE Static Analyzer. In Mitsu Okada, Ichiro Satoh, editors, Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers. Volume 4435 of Lecture Notes in Computer Science, pages 272-300, Springer, 2006. [doi]
Abstract is missing.