Static analysis. 17th international symposium, SAS 2010, Perpignan, France, September 14--16, 2010. Proceedings
scientific article