BibTeX record conf/issre/ConverseFGP20

download as .bib file

@inproceedings{DBLP:conf/issre/ConverseFGP20,
  author       = {Hayes Converse and
                  Antonio Filieri and
                  Divya Gopinath and
                  Corina S. Pasareanu},
  editor       = {Marco Vieira and
                  Henrique Madeira and
                  Nuno Antunes and
                  Zheng Zheng},
  title        = {Probabilistic Symbolic Analysis of Neural Networks},
  booktitle    = {31st {IEEE} International Symposium on Software Reliability Engineering,
                  {ISSRE} 2020, Coimbra, Portugal, October 12-15, 2020},
  pages        = {148--159},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ISSRE5003.2020.00023},
  doi          = {10.1109/ISSRE5003.2020.00023},
  timestamp    = {Tue, 17 Nov 2020 13:44:06 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ConverseFGP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}