TY  - RPRT
TI  - What can formal methods offer to digital flight control systems design
AU  - Good, Donald I.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19910008253
ID  - 19910008253
ER  -