Verification, Model Checking, and Abstract Interpretation

MLA

Enea, and Ruzica Piskac. Verification, Model Checking, and Abstract Interpretation. Springer International Publishing, 2019.

APA

Enea, E., & Piskac, R. (2019). Verification, Model Checking, and Abstract Interpretation. Springer International Publishing.

Chicago

Enea, and Ruzica Piskac. Verification, Model Checking, and Abstract Interpretation. : Springer International Publishing, 2019.