Theoretical Computer Science, Volume 277

Volume 277, Number 1-2, April 2002

Static Analysis, Paris, September 1997
a service of Schloss Dagstuhl - Leibniz Center for Informatics