[Search | Browse Authors
| Browse Reports
| Home ]
The Application of Formal Methods to the Reverse Engineering of Imperative Program Code (M.S. Thesis)
MSU-CPS-94-27
Gerald C. Gannod
April, 1994
Display BibTex Entry
No online versions of this document are available.
For more information on this report, contact
gannod@cps.msu.edu.
You are granted permission for the non-commercial reproduction, distribution, display, and
performance of this technical report in any format.
[Search | Browse Authors
| Browse Reports
| Home ]