Cita APA (7a ed.)

(2005). Correct hardware design and verification methods: 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings / Dominique Borrione, Wolfgang Paul (eds.).

Cita Chicago Style (17a ed.)

Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : Proceedings / Dominique Borrione, Wolfgang Paul (eds.). 2005.

Cita MLA (9a ed.)

Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : Proceedings / Dominique Borrione, Wolfgang Paul (eds.). 2005.