14th LOPSTR 2004: Verona, Italy

Verification and Analysis

Theory and Security

Transformations

Program Development

Termination

Program Development and Synthesis

a service of Schloss Dagstuhl - Leibniz Center for Informatics