TY  - RPRT
TI  - Integration of Informal and Formal Methods for the Reverse Engineering of C Programs
AU  - Gannod, Gerald C.
AU  - Cheng, Betty H. C.
PY  - 1996
UR  - https://ntrs.nasa.gov/citations/20060036087
ID  - 20060036087
ER  -