Verification, Model Checking, and Abstract Interpretation

MLA

Bouajjani, and David Monniaux. Verification, Model Checking, and Abstract Interpretation. Springer International Publishing, 2017.

APA

Bouajjani, B., & Monniaux, D. (2017). Verification, Model Checking, and Abstract Interpretation. Springer International Publishing.

Chicago

Bouajjani, and David Monniaux. Verification, Model Checking, and Abstract Interpretation. : Springer International Publishing, 2017.