BibTeX record conf/date/TalpinMNSG19

download as .bib file

@inproceedings{DBLP:conf/date/TalpinMNSG19,
  author    = {Jean{-}Pierre Talpin and
               Jean{-}Joseph Marty and
               Shravan Narayan and
               Deian Stefan and
               Rajesh Gupta},
  title     = {Towards verified programming of embedded devices},
  booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
               {DATE} 2019, Florence, Italy, March 25-29, 2019},
  pages     = {1445--1450},
  year      = {2019},
  crossref  = {DBLP:conf/date/2019},
  url       = {https://doi.org/10.23919/DATE.2019.8715067},
  doi       = {10.23919/DATE.2019.8715067},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/TalpinMNSG19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2019,
  editor    = {J{\"{u}}rgen Teich and
               Franco Fummi},
  title     = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
               {DATE} 2019, Florence, Italy, March 25-29, 2019},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8704855/proceeding},
  isbn      = {978-3-9819263-2-3},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics