You are about to access our book library "Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings (Lecture Notes in Computer Science, 5079) full version" .