APA Citation

Dillig, I. (2017). Verification, Model Checking, and Abstract Interpretation. Springer.

Chicago Style Citation

Dillig, Isil. Verification, Model Checking, and Abstract Interpretation. Springer, 2017.

MLA Citation

Dillig, Isil. Verification, Model Checking, and Abstract Interpretation. Springer, 2017.

Warning: These citations may not always be 100% accurate.