Structuring Z Specifications: Some Choices

• Authors:

• Anthony MacDonald;David A. Carrington

• Affiliations:

• -;-

• Venue:
• ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
• Year:
• 1995