Translated title of the contribution | A formal language for the design of manufacturable objects |
---|---|
Original language | English |
Title of host publication | IFIP WG5.2 Formal Design Methods for CCAD |
Pages | 117 - 137 |
Number of pages | 20 |
Publication status | Published - 1993 |
A formal language for the design of manufacturable objects
KN Brown, CA McMahon, JH Sims Williams
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)