Verification, Model Checking, and Abstract Interpretation

MLA

Cook, Byron, et al. Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2007.

APA

Cook, B., Kanade, T., Podelski, A., & Kittler, J. (2007). Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg.

Chicago

Cook, Byron, Takeo Kanade, Andreas Podelski, and Josef Kittler. Verification, Model Checking, and Abstract Interpretation. : Springer Berlin Heidelberg, 2007.