BibTeX record conf/issre/LoharD15

download as .bib file

@inproceedings{DBLP:conf/issre/LoharD15,
  author       = {Debasmita Lohar and
                  Soumyajit Dey},
  title        = {Integrating formal methods with testing for reliability estimation
                  of component based systems},
  booktitle    = {2015 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Gaithersburg, MD, USA, November 2-5,
                  2015},
  pages        = {33--36},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ISSREW.2015.7392033},
  doi          = {10.1109/ISSREW.2015.7392033},
  timestamp    = {Fri, 24 Mar 2023 00:04:22 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/LoharD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}