JPL Technical Report Server

Integration of Informal and Formal Methods for the Reverse Engineering of C Programs

Show simple item record

dc.contributor.author Gannod, Gerald C. en_US
dc.contributor.author Cheng, Betty H.C. en_US
dc.date.accessioned 2004-09-30T04:16:04Z
dc.date.available 2004-09-30T04:16:04Z
dc.date.issued 1996-11-04 en_US
dc.identifier.citation Monterey, California, USA en_US
dc.identifier.clearanceno 96-0430 en_US
dc.identifier.uri http://hdl.handle.net/2014/24639
dc.description.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 en_US
dc.format.extent 1722898 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.subject.other program code Reverse engineering C programs en_US
dc.title Integration of Informal and Formal Methods for the Reverse Engineering of C Programs en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account