Verification Model Checking and Abstract Interpretation 21st Inte

Verification, Model Checking, and Abstract Interpretation - 9783030393212

Henglein - Verification Model Checking and Abstract Interpretation - X555z

McMillan - Verification Model Checking and Abstract Interpretation - X555z

Logozzo - Verification Model Checking and Abstract Interpretation - X555z

Jobstmann - Verification Model Checking and Abstract Interpretation - X555z

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

Cousot - Verification Model Checking and Abstract Interpretation 6 - X555z