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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics