Automated Technology for Verification and Analysis

MLA

Liu, Zhiming, et al. Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2009.

APA

Liu, Z., Kanade, T., Ravn, A. P, & Kittler, J. (2009). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.

Chicago

Liu, Zhiming, Takeo Kanade, Anders P Ravn, and Josef Kittler. Automated Technology for Verification and Analysis. : Springer Berlin Heidelberg, 2009.