Bouajjani - Verification Model Checking and Abstract Interpretation - X555z

McMillan - Verification Model Checking and Abstract Interpretation - X555z

Logozzo - Verification Model Checking and Abstract Interpretation - X555z

Dillig - Verification Model Checking and Abstract Interpretation 1 - X555z

D'Souza - Verification Model Checking and Abstract Interpretation - X555z

Barthe - Verification Model Checking and Abstract Interpretation 1 - X555z

Enea - Verification Model Checking and Abstract Interpretation 20t - X555z

Principles of Abstract Interpretation, Cousot, Patrick, Excellent Book