Static analysis. 19th international symposium, SAS 2012, Deauville, France, September 11--13, 2012. Proceedings
scientific article; zbMATH DE number 6079577