Science of Computer Programming, Volume 39

Volume 39, Number 1, January 2001

Static Program Analysis (SAS'98)

Volume 39, Number 2-3, March 2001

a service of Schloss Dagstuhl - Leibniz Center for Informatics