14. LOPSTR 2004: Verona, Italy

Verification and Analysis

Theory and Security

Transformations

Program Development

Termination

Program Development and Synthesis

maintained by Schloss Dagstuhl LZI at University of Trier