Verification, Model Checking, and Abstract Interpretation

MLA

Hutchison, David, et al. Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2013.

APA

Hutchison, D., Kanade, T., Berdine, J., & Mastroeni, I. (2013). Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Josh Berdine, and Isabella Mastroeni. Verification, Model Checking, and Abstract Interpretation. : Springer Berlin Heidelberg, 2013.