TY  - RPRT
TI  - Proof or Consequences the Verification of Curiosity's Software
AU  - Holzman, Gerard J.
PY  - 2012
UR  - https://ntrs.nasa.gov/citations/20150005661
ID  - 20150005661
ER  -