@misc{indiciae5d3fbae3c596,
  title = {Software Infrastructure for V\&V},
  author = {Israel, Daniel M.},
  year = {2017},
  doi = {10.2172/1392843},
  url = {https://www.osti.gov/biblio/1392843},
  note = {Source identifier: 1392843}
}