Hardware and Software: Verification and Testing

MLA

Barner, Sharon, et al. Hardware and Software: Verification and Testing. Springer Berlin Heidelberg, 2011.

APA

Barner, S., Harris, I., Kanade, T., Kroening, D., & Raz, O. (2011). Hardware and Software: Verification and Testing. Springer Berlin Heidelberg.

Chicago

Barner, Sharon, Ian Harris, Takeo Kanade, Daniel Kroening, and Orna Raz. Hardware and Software: Verification and Testing. : Springer Berlin Heidelberg, 2011.