Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings Cortesi Agostino Heftet / 1999 / Engelsk
Static Analysis Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings Cousot Patrick Heftet / 1993 / Engelsk
