TY  - RPRT
TI  - Deductive Evaluation: Implicit Code Verification With Low User Burden
AU  - Di Vito, Ben L.
PY  - 2016
UR  - https://ntrs.nasa.gov/citations/20160007713
ID  - 20160007713
ER  -