Verification, Model Checking, and Abstract Interpretation

Dirk Beyer, Damien Zufferey

Verification, Model Checking, and Abstract Interpretation - Springer Springer 2020

9783030393229

EBOOK