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

Part 1: Overview and Introductory Papers

Part 2: Research Papers