| 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 |
Bibliographical note
Conference Proceedings/Title of Journal: IFIP WG5.2 Formal Design Methods for CCADCite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver