Formal Methods for Hardware Verification
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.