BibTeX record phd/hal/Ferrara09

download as .bib file

@phdthesis{DBLP:phd/hal/Ferrara09,
  author    = {Pietro Ferrara},
  title     = {Static analysis via abstract interpretation of multithreaded programs.
               (Analyse statique de logiciels Multit{\^{a}}CHES par Interpr{\'{e}}Tation
               abstraite)},
  school    = {{\'{E}}cole Polytechnique, Palaiseau, France},
  year      = {2009},
  url       = {https://tel.archives-ouvertes.fr/tel-00417502},
  timestamp = {Thu, 14 Jul 2016 18:56:26 +0200},
  biburl    = {https://dblp.org/rec/phd/hal/Ferrara09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics