@inproceedings{mine:lctes06,
   author =    {Min\'e, A{.}},
   title =     {Field-Sensitive Value Analysis of Embedded {C} Programs with 
                Union Types and Pointer Arithmetics},
   pages =     {54--63},
   booktitle = {ACM SIGPLAN/SIGBED Conf. on Languages, Compilers, and Tools for Embedded Systems (LCTES'06)},
   publisher = {ACM Press},
   month =     {June},
   year =      {2006},
   location =  {Ottawa, Ontario, Canada},
   note =      {\url{http://www.di.ens.fr/~mine/publi/article-mine-lctes06.pdf}}
}