Theory and Formal Methods 1993: Chelwood Gate, Sussex, UK

Part 1: Overview and Introductory Papers

Part 2: Research Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics