@misc{indiciae160c8d94ef8e,
  title = {Deductive Evaluation: Formal Code Analysis With Low User Burden},
  author = {Di Vito, Ben. L},
  year = {2016},
  url = {https://ntrs.nasa.gov/citations/20160009127},
  note = {Source identifier: 20160009127}
}