9. LOPSTR 1999: Venezia, Italy

Invited Talk

Tutorials

Software Development

Analysis and Specialisation

Transformation

Verification

maintained by Schloss Dagstuhl LZI at University of Trier