CADIZ - Computer Aided Design in Z

• Authors:

• David Jordan;John A. McDermid;Ian Toyn

• Affiliations:

• -;-;-

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