Verification, Model Checking, and Abstract Interpretation

MLA

Barbara Jobstmann, K. Rustan M. Leino, and K. Rustan M Leino. Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2016.

APA

Barbara Jobstmann, K. Rustan M. Leino, & Leino, K. Rustan M. (2016). Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg.

Chicago

Barbara Jobstmann, K. Rustan M. Leino, and K. Rustan M Leino. Verification, Model Checking, and Abstract Interpretation. : Springer Berlin Heidelberg, 2016.