Static analysis. Third international symposium, SAS '96, Aachen, Germany, September 24--26, 1996. Proceedings
scientific article