3rd SCAM 2003: Amsterdam, The Netherlands

Static Analysis

Object Oriented Code

Keynote

Slicing

Program Transformations

Tools and Techniques

a service of Schloss Dagstuhl - Leibniz Center for Informatics