"Verification, Model Checking, and Abstract Interpretation - 18th ..."

Ahmed Bouajjani, David Monniaux (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics