Beyer, D., & Zufferey, D. (Eds.). (2020). Verification, Model Checking, and Abstract Interpretation. Berlin: Springer. doi:10.1007/978-3-030-39322-9.