APA (7th ed.) Citation

(1990). Formal methods for VLSI design: IFIP WG 10.5 lecture notes. North-Holland.

Chicago Style (17th ed.) Citation

Formal Methods for VLSI Design: IFIP WG 10.5 Lecture Notes. Amsterdam [u.a.]: North-Holland, 1990.

MLA (9th ed.) Citation

Formal Methods for VLSI Design: IFIP WG 10.5 Lecture Notes. North-Holland, 1990.