Static analysis. 21st international symposium, SAS 2014, Munich, Germany, September 11--13, 2014. Proceedings
scientific article; zbMATH DE number 6341442