@misc{indiciae44094e9d6eeb,
  title = {Verification practices for code development teams.},
  author = {Weirs, V Gregory},
  year = {2010},
  url = {https://www.osti.gov/biblio/1016324},
  note = {Source identifier: 1016324}
}