Verification, Model Checking, and Abstract Interpretation - 9783642540127

Verification Model Checking and Abstract Interpretation 15th Inte

Bouajjani - Verification Model Checking and Abstract Interpretation - X555z

Logozzo - Verification Model Checking and Abstract Interpretation - X555z

Verification, Model Checking, And Abstract Interpretation : 7th International...

Dillig - Verification Model Checking and Abstract Interpretation 1 - X555z

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

Cousot - Verification Model Checking and Abstract Interpretation 6 - X555z