TY  - RPRT
TI  - Formal verification of AI software
AU  - Rushby, John
AU  - Whitehurst, R. Alan
PY  - 1989
UR  - https://ntrs.nasa.gov/citations/19890015440
ID  - 19890015440
ER  -