The application of formal methods to the reverse engineering of imperative program code

In Collections: Electronic Theses & Dissertations

Copyright Status: In Copyright

Material Type: Theses

Authors: Gannod, Gerald C.

Date Published: 1994

Subjects: Computer software--Development
Software engineering

Program of Study: Computer Science

Degree Level: Masters

Language: English

Pages: ix, 78 pages

Permalink: https://doi.org/doi:10.25335/27rh-6278

Full text