Verification, Model Checking, and Abstract Interpretation

MLA

Emerson, E. Allen, et al. Verification, Model Checking, and Abstract Interpretation. Springer Berlin / Heidelberg, 2006.

APA

Emerson, E. Allen, Kanade, T., Namjoshi, K. S, & Kittler, J. (2006). Verification, Model Checking, and Abstract Interpretation. Springer Berlin / Heidelberg.

Chicago

Emerson, E. Allen, Takeo Kanade, Kedar S Namjoshi, and Josef Kittler. Verification, Model Checking, and Abstract Interpretation. : Springer Berlin / Heidelberg, 2006.