Discussion: Design space description formalisms

• Authors:

• Christopher N. Carlson

• Affiliations:

• -

• Venue:
• Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD
• Year:
• 1994