Reihe Workshops in Computing

Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990

Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge

Proceedings of the Software Re-use Workshop, 23–24 November 1989, Utrecht, The Netherlands

University of Ulster at Jordanstown 20–21 September 1990

Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland

Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford

Selected Papers 1988–1990

Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada

Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8–11 May 1990, Bremen, West Germany