Reihe Workshops in Computing

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

Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8

Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989

Proceedings of the Third International Workshop 10–13 January 1989, Newcastle, Australia

Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland

 

Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of

Dublin City University 14–15 September 1989