Gaya APA

Borrione, D., Paul, W. (2005). Correct Hardware Design and Verification Methods (1st ed.). Berlin, Heidelberg: Springer.

Gaya MLA

Borrione, Dominique.., Paul, Wolfgang.. "Correct Hardware Design and Verification Methods". 1st ed. Berlin, Heidelberg: Springer, 2005. E Book.