TY  - RPRT
TI  - Applying formal methods and object-oriented analysis to existing flight software
AU  - Cheng, Betty H. C.
AU  - Auernheimer, Brent
PY  - 1993
UR  - https://ntrs.nasa.gov/citations/19940031988
ID  - 19940031988
ER  -