Verification, Model Checking, and Abstract Interpretation

MLA

Jones, Neil D, and Markus Müller-Olm. Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2009.

APA

Jones, N. D, & Müller-Olm, M. (2009). Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg.

Chicago

Jones, Neil D., and Markus Müller-Olm. Verification, Model Checking, and Abstract Interpretation. : Springer Berlin Heidelberg, 2009.