![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10145 || Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT
Bouajjani, Ahmed, Monniaux, DavidVolume:
10.1007/97
Year:
2017
Language:
english
DOI:
10.1007/978-3-319-52234-0_17
File:
PDF, 378 KB
english, 2017