@phdthesis{mine:phd,
  author  = {Min\'e, A{.}},
  title   = {Weakly Relational Numerical Abstract Domains},
  school  = {\'Ecole Polytechnique},
  address = {Palaiseau, France},
  month   = {December},
  year    = {2004},
  note    = {\url{http://www.di.ens.fr/~mine/these/these-color.pdf}},
}