Verification, Model Checking, and Abstract Interpretation - 9783031505201

Verification, Model Checking, and Abstract Interpretation: 25th International Co

Dragoi - Verification Model Checking and Abstract Interpretation 2 - X555z

Giacobazzi - Verification Model Checking and Abstract Interpretation - X555z

Dimitrova - Verification Model Checking and Abstract Interpretation - X555z

Verification Model Checking and Abstract Interpretation 25th Inte

Verification, Model Checking, and Abstract Interpretation: 10th Internationa...

Kromp - Model-based Interpretation of the Performance and Degradation - X555z