You are about to access our book library "Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings (Lecture Notes in Computer Science, 6887) full version" .