Verification, Model Checking, and Abstract Interpretation - 9783031505232

Dimitrova - Verification Model Checking and Abstract Interpretation - X555z

Giacobazzi - Verification Model Checking and Abstract Interpretation - X555z

Dragoi - Verification Model Checking and Abstract Interpretation 2 - X555z

Finkbeiner - Verification Model Checking and Abstract Interpretation - X555z

Verification Model Checking and Abstract Interpretation 14th Inte

Verification Model Checking and Abstract Interpretation 8th Inter