@misc{indiciaea9eeee891385,
  title = {Integration of Informal and Formal Methods for the Reverse Engineering of C Programs},
  author = {Gannod, Gerald C. and Cheng, Betty H. C.},
  year = {1996},
  url = {https://ntrs.nasa.gov/citations/20060036087},
  note = {Source identifier: 20060036087}
}