APA
Kedar S. Namjoshi T. Y. T. H. Y. O., . (2007). Automated Technology for Verification and Analysis. Germany: Springer.
Chicago
Kedar S. Namjoshi Tomohiro Yoneda Teruo Higashino Yoshio Okamura, . 2007. Automated Technology for Verification and Analysis. Germany: Springer.
Harvard
Kedar S. Namjoshi T. Y. T. H. Y. O., . (2007). Automated Technology for Verification and Analysis. Germany: Springer.
MLA
Kedar S. Namjoshi Tomohiro Yoneda Teruo Higashino Yoshio Okamura, . Automated Technology for Verification and Analysis. Germany: Springer. 2007.