"Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, ..."

Xavier Rival (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics