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

Barbara Jobstmann, K. Rustan M. Leino (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics