BibTeX record conf/csfw/BartheBLPT17

download as .bib file

@inproceedings{DBLP:conf/csfw/BartheBLPT17,
  author    = {Gilles Barthe and
               Sandrine Blazy and
               Vincent Laporte and
               David Pichardie and
               Alix Trieu},
  title     = {Verified Translation Validation of Static Analyses},
  booktitle = {30th {IEEE} Computer Security Foundations Symposium, {CSF} 2017, Santa
               Barbara, CA, USA, August 21-25, 2017},
  pages     = {405--419},
  year      = {2017},
  crossref  = {DBLP:conf/csfw/2017},
  url       = {https://doi.org/10.1109/CSF.2017.16},
  doi       = {10.1109/CSF.2017.16},
  timestamp = {Sat, 19 Oct 2019 20:16:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/BartheBLPT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csfw/2017,
  title     = {30th {IEEE} Computer Security Foundations Symposium, {CSF} 2017, Santa
               Barbara, CA, USA, August 21-25, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8048777/proceeding},
  isbn      = {978-1-5386-3217-8},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics