A Two-Phase Approach to Reverse Engineering Using Formal Methods

• Authors:

• Gerald C. Gannod;Betty H. C. Cheng

• Affiliations:

• -;-

• Venue:
• Proceedings of the International Conference on Formal Methods in Programming and Their Applications
• Year:
• 1993