Imperial College Workshops

Imperial College, Department of Computing

Theory and Formal Methods 1994: Cambridge, UK

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