Verification, Model Checking, and Abstract Interpretation

MLA

Logozzo, Francesco, et al. Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2008.

APA

Logozzo, F., Peled, D. A, & Zuck, L. D, & Zuck, L. D. (2008). Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg.

Chicago

Logozzo, Francesco, Doron A Peled, Lenore D Zuck, and Leonore D Zuck. Verification, Model Checking, and Abstract Interpretation. : Springer Berlin Heidelberg, 2008.