Home: Reengineering
Up: Reverse Engineering
Previous: Preventive Measures
Next: Reverse Specification
Taxonomy Item Formal Methods
This section lists references on the application of formal methods
in reverse engineering.
koschke@informatik.uni-stuttgart.de (Feedback).
Copyright © 1997 University of Stuttgart, Germany. $Revision: 1.3 $
Last modified: Wed Sep 24 13:54:19 EDT 1997