@inproceedings{mine-al:pldi03,
   author =    {Blanchet, B{.} and Cousot, P{.} and Cousot, R{.} and 
                Feret, J{.} and Mauborgne, L{.} and Min\'e, A{.} and 
                Monniaux, D{.} and Rival, X{.}},
   title =     {A Static Analyzer for Large Safety-Critical Software},
   pages =     {196--207},
   booktitle = {Proc. of the ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI'03)},
   publisher = {ACM Press},
   month =     {June},
   location =  {San Diego, California, USA},
   year =      {2003},
   note =      {\url{http://www.di.ens.fr/~mine/publi/pldi045-blanchet.pdf}}
}