TY  - RPRT
TI  - Translating expert system rules into Ada code with validation and verification
AU  - Becker, Lee
AU  - Duckworth, R. James
AU  - Green, Peter
AU  - Michalson, Bill
AU  - Gosselin, Dave
AU  - Nainani, Krishan
AU  - Pease, Adam
PY  - 1991
UR  - https://ntrs.nasa.gov/citations/19910017486
ID  - 19910017486
ER  -