Automated Technology for Verification and Analysis

MLA

Namjoshi, Kedar S, et al. Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2007.

APA

Namjoshi, K. S, Higashino, T., Okamura, Y., & Yoneda, T. (2007). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.

Chicago

Namjoshi, Kedar S., Teruo Higashino, Yoshio Okamura, and Tomohiro Yoneda. Automated Technology for Verification and Analysis. : Springer Berlin Heidelberg, 2007.