Automated Technology for Verification and Analysis

MLA

Cha, Sungdeok (Steve), et al. Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2008.

APA

Cha, S. (Steve), Choi, J., Kanade, T., Kim, M., Lee, I., Viswanathan, M., & Kittler, J. (2008). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.

Chicago

Cha, Sungdeok (Steve), Jin-Young Choi, Takeo Kanade, Moonzoo Kim, Insup Lee, Mahesh Viswanathan, and Josef Kittler. Automated Technology for Verification and Analysis. : Springer Berlin Heidelberg, 2008.