Formal transformations from graphically-based object-oriented representations to theory-based specifications

• Authors:

• Scott Allan Deloach

• Affiliations:

• Air Force Institute of Technology

• Venue:
• Formal transformations from graphically-based object-oriented representations to theory-based specifications
• Year:
• 1996