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. 272-300 2006 ASIAN http://dx.doi.org/10.1007/978-3-540-77505-8_23 conf/asian/2006 db/conf/asian/asian2006.html#CousotCFMMMR06