Verification, Model Checking, and Abstract Interpretation

MLA

D'Souza, et al. Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2015.

APA

D'Souza, D.D'Souza, D., Lal, A., & Larsen, K. Guldstrand. (2015). Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg.

Chicago

D'Souza, Deepak D'Souza, Akash Lal, and Kim Guldstrand Larsen. Verification, Model Checking, and Abstract Interpretation. : Springer Berlin Heidelberg, 2015.