Verification, Model Checking, and Abstract Interpretation

MLA

Beyer, and Damien Zufferey. Verification, Model Checking, and Abstract Interpretation. Springer International Publishing, 2020.

APA

Beyer, B., & Zufferey, D. (2020). Verification, Model Checking, and Abstract Interpretation. Springer International Publishing.

Chicago

Beyer, and Damien Zufferey. Verification, Model Checking, and Abstract Interpretation. : Springer International Publishing, 2020.