BibTeX record conf/nfm/DamoucheM17

download as .bib file

@inproceedings{DBLP:conf/nfm/DamoucheM17,
  author       = {Nasrine Damouche and
                  Matthieu Martel},
  editor       = {Bruno Dutertre and
                  Natarajan Shankar},
  title        = {Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs},
  booktitle    = {Automated Formal Methods, AFM@NFM 2017, Moffett Field, CA, USA, May
                  19-20, 2017},
  series       = {Kalpa Publications in Computing},
  volume       = {5},
  pages        = {63--76},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/j2fd},
  doi          = {10.29007/J2FD},
  timestamp    = {Sat, 30 Sep 2023 09:54:02 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/DamoucheM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics