NASA NTRS · 20060036087
Integration of Informal and Formal Methods for the Reverse Engineering of C Programs
Abstract
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facillitate the understanding of a system that may be in a.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Gannod, Gerald C., Cheng, Betty H. C.. 1996-11-04. Integration of Informal and Formal Methods for the Reverse Engineering of C Programs. https://ntrs.nasa.gov/citations/20060036087
Cite the original work for its findings. Save a collection to share your selection of sources.