APA (7th ed.) Citation

Davie, B. S. (1988). A formal, hierarchical design and validation methodology for VLSI. Univ. of Edinburgh, Dep. of Computer Sci.

Chicago Style (17th ed.) Citation

Davie, Bruce S. A Formal, Hierarchical Design and Validation Methodology for VLSI. Edinburgh: Univ. of Edinburgh, Dep. of Computer Sci, 1988.

MLA (9th ed.) Citation

Davie, Bruce S. A Formal, Hierarchical Design and Validation Methodology for VLSI. Univ. of Edinburgh, Dep. of Computer Sci, 1988.