Static analysis. 6th international symposium, SAS '99, Venice, Italy, September 22--24, 1999. Proceedings
scientific article; zbMATH DE number 1385386