The executable model approach: synergistic strategies for maintaining the correctness and efficiency

• Authors:

• J. A. Zinky

• Affiliations:

• -

• Venue:
• The executable model approach: synergistic strategies for maintaining the correctness and efficiency
• Year:
• 1989