13. LOPSTR 2003: Uppsala, Sweden

Invited Talk

Specification and Synthesis

Verification

Analysis

Transformation and Specialisation

Constraints

maintained by Schloss Dagstuhl LZI, founded at University of Trier