Static analysis. 22nd international symposium, SAS 2015, Saint-Malo, France, September 9--11, 2015. Proceedings
scientific article; zbMATH DE number 6478649