Verification, Model Checking, and Abstract Interpretation

MLA

Fritz Henglein, Sharon Shoham, and Yakir Vizel. Verification, Model Checking, and Abstract Interpretation. Springer International Publishing, 2021.

APA

Fritz Henglein, F. Henglein, Shoham, S., & Vizel, Y. (2021). Verification, Model Checking, and Abstract Interpretation. Springer International Publishing.

Chicago

Fritz Henglein, Sharon Shoham, and Yakir Vizel. Verification, Model Checking, and Abstract Interpretation. : Springer International Publishing, 2021.