Verification, Model Checking, and Abstract Interpretation

MLA

Kenneth L. McMillan, Xavier Rival, and Xavier Rival. Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, 2014.

APA

Kenneth L. McMillan, X. Rival, & Rival, X. (2014). Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg.

Chicago

Kenneth L. McMillan, Xavier Rival, and Xavier Rival. Verification, Model Checking, and Abstract Interpretation. : Springer Berlin Heidelberg, 2014.