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