@misc{indiciae5b945f6d355e,
  title = {Infusing software assurance research techniques into use},
  author = {Trevino, Luis C. and Markosian, Lawrence and Hinchey, Michael and Feather, Martin S. and Di Vito, Ben and Pressburger, Thomas},
  year = {2005},
  url = {https://ntrs.nasa.gov/citations/20210002072},
  note = {Source identifier: 20210002072}
}