@misc{1160201,
  author = {W Richards Adrion and Martha A Branstad and John C Cherniavsky},
  title = {Validation, verification, and testing of computer software:},
  year = {1981},
  month = {1981-01-01 05:01:00},
  publisher = {, National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NBS.SP.500-75},
  language = {en},
}