Patrick Cousot Radhia Cousot Jérôme Feret Antoine Miné Laurent Mauborgne David Monniaux Xavier Rival Varieties of Static Analyzers: A Comparison with ASTREE. 3-20 2007 conf/tase/2007 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2007.55 db/conf/tase/tase2007.html#CousotCFMMMR07