Hardware and Software: Verification and Testing
  MLA
  Yorav, Karen, Takeo Kanade, and Josef Kittler. Hardware and Software: Verification and Testing. Springer Berlin Heidelberg, 2008.
  APA
  Yorav, K., Kanade, T., & Kittler, J. (2008). Hardware and Software: Verification and Testing. Springer Berlin Heidelberg.
  Chicago
  Yorav, Karen, Takeo Kanade, and Josef Kittler. Hardware and Software: Verification and Testing. : Springer Berlin Heidelberg, 2008.