Verification, Model Checking, and Abstract Interpretation

MLA

Dillig, Jens Palsberg, and Jens Palsberg. Verification, Model Checking, and Abstract Interpretation. Springer International Publishing, 2018.

APA

Dillig, D., Jens Palsberg, J. Palsberg, & Palsberg, J. (2018). Verification, Model Checking, and Abstract Interpretation. Springer International Publishing.

Chicago

Dillig, Jens Palsberg, and Jens Palsberg. Verification, Model Checking, and Abstract Interpretation. : Springer International Publishing, 2018.