APA
Sungdeok (Steve) Cha J. C. M. K. I. L. M. V., . (2008). Automated Technology for Verification and Analysis. Germany: Springer.
Chicago
Sungdeok (Steve) Cha Jin-Young Choi Moonzoo Kim Insup Lee Mahesh Viswanathan, . 2008. Automated Technology for Verification and Analysis. Germany: Springer.
Harvard
Sungdeok (Steve) Cha J. C. M. K. I. L. M. V., . (2008). Automated Technology for Verification and Analysis. Germany: Springer.
MLA
Sungdeok (Steve) Cha Jin-Young Choi Moonzoo Kim Insup Lee Mahesh Viswanathan, . Automated Technology for Verification and Analysis. Germany: Springer. 2008.