Specifying reusable components using Z: realistic sets and dictionaries

• Authors:

• R. L. London;K. R. Milsted

• Affiliations:

• Tektronix Laboratories;Tektronix Laboratories

• Venue:
• IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
• Year:
• 1989