@misc{indiciaed9792d3d9336,
  title = {Evidence Arguments for Using Formal Methods in Software Certification},
  author = {Denney, Ewen W. and Pai, Ganesh},
  year = {2013},
  url = {https://ntrs.nasa.gov/citations/20140011544},
  note = {Source identifier: 20140011544}
}