Obtaining Structural Metrics of Z Specifications for Systems Development

• Authors:

• John Bainbridge;R. W. Whitty;John Wordsworth

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
• Year:
• 1990