You are about to access our book library "Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Lecture Notes in Computer Science, 1145) full version" .