@inproceedings{mine-al:asian06,
   author =    {Cousot, P{.} and Cousot, R{.} and 
                Feret, J{.} and Mauborgne, L{.} and Min\'e, A{.} and 
                Monniaux, D{.} and Rival, X{.}},
   title =     {Combination of Abstractions in the {ASTR\'EE} Static Analyzer},
   booktitle = {Post-proc. of the 11th Annual Asian Computing Science Conference (ASIAN'06)},
   volume =    {4435},
   pages =     {272--300},
   publisher = {Springer},
   series =    {Lecture Notes in Computer Science},
   month =     {December},
   location =  {Tokyo, Japon},
   year =      {2006},
   note =      {\url{http://www.di.ens.fr/~mine/publi/CousotEtAl-asian06.pdf}}
}