3. SCAM 2003: Amsterdam, The Netherlands

Static Analysis

Object Oriented Code

Keynote

Slicing

Program Transformations

Tools and Techniques

maintained by Schloss Dagstuhl LZI at University of Trier