Correct Hardware Design and Verification Methods

MLA

Borrione, Dominique, et al. Correct Hardware Design and Verification Methods. Springer Berlin / Heidelberg, 2005.

APA

Borrione, D., Kanade, T., Paul, W. J, Paul, W., & Kittler, J. (2005). Correct Hardware Design and Verification Methods. Springer Berlin / Heidelberg.

Chicago

Borrione, Dominique, Takeo Kanade, Wolfgang J Paul, Wolfgang Paul, and Josef Kittler. Correct Hardware Design and Verification Methods. : Springer Berlin / Heidelberg, 2005.