The Construction of Formal Specifications; An Introduction to the Model-Based and Algebraic Approaches

• Authors:

• John G. Turner;T. L. McCluskey

• Affiliations:

• -;-

• Venue:
• The Construction of Formal Specifications; An Introduction to the Model-Based and Algebraic Approaches
• Year:
• 1994