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

Part 1: Overview and Introductory Papers

Part 2: Research Papers

maintained by Schloss Dagstuhl LZI at University of Trier