MLA

Bernardo, Marco, et al. Formal Methods for Hardware Verification. Springer Berlin Heidelberg, 2006.

APA

Bernardo, M., Cimatti, A., Kanade, T., & Kittler, J. (2006). Formal Methods for Hardware Verification. Springer Berlin Heidelberg.

Chicago

Bernardo, Marco, Alessandro Cimatti, Takeo Kanade, and Josef Kittler. Formal Methods for Hardware Verification. : Springer Berlin Heidelberg, 2006.