BibTeX record conf/issre/GuyomarchH20

download as .bib file

@inproceedings{DBLP:conf/issre/GuyomarchH20,
  author       = {Jean Guyomarc'h and
                  Jean{-}Baptiste Herv{\'{e}}},
  title        = {Static and Verifiable Memory Partitioning for Safety-Critical Systems},
  booktitle    = {2020 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Coimbra, Portugal, October 12-15, 2020},
  pages        = {79--84},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ISSREW51248.2020.00041},
  doi          = {10.1109/ISSREW51248.2020.00041},
  timestamp    = {Mon, 03 Jan 2022 22:19:13 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/GuyomarchH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}