9th LOPSTR 1999: Venezia, Italy

Refine list

showing all ?? records

Invited Talk

Tutorials

Software Development

Analysis and Specialisation

Transformation

Verification

a service of  Schloss Dagstuhl - Leibniz Center for Informatics