11. SAS 2004: Verona, Italy

Invited Talks

Program and System Verification

Security and Safety

Pointer Analysis

Abstract Interpretation and Algorithms

Abstract Domain and Data Structures

Shape Analysis and Logic

Termination Analysis

maintained by Schloss Dagstuhl LZI at University of Trier