BibTeX record phd/hal/Allamigeon09

download as .bib file

  author    = {Xavier Allamigeon},
  title     = {Static analysis of memory manipulations by abstract interpretation
               - Algorithmics of tropical polyhedra, and application to abstract
               interpretation. (Analyse statique de manipulations de m{\'{e}}moire
               par interpr{\'{e}}tation abstraite - Algorithmique des poly{\`{e}}dres
               tropicaux, et application {\`{a}} l'interpr{\'{e}}tation abstraite)},
  school    = {{\'{E}}cole Polytechnique, Palaiseau, France},
  year      = {2009},
  url       = {},
  timestamp = {Thu, 14 Jul 2016 18:56:26 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
maintained by Schloss Dagstuhl LZI, founded at University of Trier