MLA

Wagner, Ilya, and Valeria Bertacco. Post-silicon and Runtime Verification for Modern Processors. Springer US, 2011.

APA

Wagner, I., & Bertacco, V. (2011). Post-Silicon and Runtime Verification for Modern Processors. Springer US.

Chicago

Wagner, Ilya, and Valeria Bertacco. Post-Silicon and Runtime Verification for Modern Processors. : Springer US, 2011.