BibTeX record journals/software/MichaelDOS11

download as .bib file

@article{DBLP:journals/software/MichaelDOS11,
  author       = {James Bret Michael and
                  Doron Drusinsky and
                  Thomas W. Otani and
                  Man{-}tak Shing},
  title        = {Verification and Validation for Trustworthy Software Systems},
  journal      = {{IEEE} Softw.},
  volume       = {28},
  number       = {6},
  pages        = {86--92},
  year         = {2011},
  url          = {https://doi.org/10.1109/MS.2011.151},
  doi          = {10.1109/MS.2011.151},
  timestamp    = {Mon, 08 Jun 2020 22:31:23 +0200},
  biburl       = {https://dblp.org/rec/journals/software/MichaelDOS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}