(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.).
Chicago Style (17th ed.) ZitazioaCorrect 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.
MLA (9th ed.) ZitazioaCorrect 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.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.