Comparison of algebraic and state-machine specification methods

• Authors:

• Mark A. Ardis

• Affiliations:

• Wang Institute of graduate Studies

• Venue:
• ACM SIGSOFT Software Engineering Notes
• Year:
• 1986