BibTeX record phd/hal/Chevalier20a

download as .bib file

@phdthesis{DBLP:phd/hal/Chevalier20a,
  author    = {Marc Chevalier},
  title     = {Proving the security of software-intensive embedded systems by abstract
               interpretation. (Analyse de la s{\'{e}}curit{\'{e}} de syst{\`{e}}mes
               critiques embarqu{\'{e}}s {\`{a}} forte composante logicielle
               par interpr{\'{e}}tation abstraite)},
  school    = {{\'{E}}cole Normale Sup{\'{e}}rieure, Paris, France},
  year      = {2020},
  url       = {https://tel.archives-ouvertes.fr/tel-03127921},
  timestamp = {Thu, 25 Feb 2021 08:50:23 +0100},
  biburl    = {https://dblp.org/rec/phd/hal/Chevalier20a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics