TY  - RPRT
TI  - Autonomy software verification and validation might not be as hard as it seems
AU  - Gat, Erann
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20210002138
ID  - 20210002138
ER  -