A formal language for the design of manufacturable objects

KN Brown, CA McMahon, JH Sims Williams

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Translated title of the contributionA formal language for the design of manufacturable objects
Original languageEnglish
Title of host publicationIFIP WG5.2 Formal Design Methods for CCAD
Pages117 - 137
Number of pages20
Publication statusPublished - 1993

Bibliographical note

Conference Proceedings/Title of Journal: IFIP WG5.2 Formal Design Methods for CCAD

Cite this