Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings - Cortesi, Agostino; Cortesi, Agostino; File, Gilberto; File, Gilberto (Springer Berlin Heidelberg : Imprint: Springer, 1999)