TY  - RPRT
TI  - Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools
AU  - Saito, Jim
PY  - 1987
UR  - https://ntrs.nasa.gov/citations/19880003112
ID  - 19880003112
ER  -