MLA

Bertacco, Valeria; Legay, Axel, and Axel Legay. Hardware and Software: Verification and Testing. Springer International Publishing, 2013.

APA

Bertacco, A., & Legay, A. (2013). Hardware and Software: Verification and Testing. Springer International Publishing.

Chicago

Bertacco, Valeria; Legay, Axel, and Axel Legay. Hardware and Software: Verification and Testing. : Springer International Publishing, 2013.