Description: Formal Methods

Home Up: Software 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-2000 University of Stuttgart, Germany. $Revision: 1.6 $

Last modified: Wed Jun 14 13:10:36 MET DST 2000