Publisher's Synopsis
The main aim of the BCS-FACS Northern Formal Methods Workshop, held in Ilkley, UK, 23-24 September 1996, was to provide an informal atmosphere for the exchange of ideas in order to contribute to fundamental research in the use of formal methods for the development of concurrent, real-time and object-oriented systems. The full papers from the BCS-FACS Northern Formal Methods Workshop are available online at: http://ewic.springer.co.uk/ This booklet provides the passwords needed to access the web site. Purchasing the booklet provides the user with unlimited access to the site for four years (subject, of course, to entry of the correct passwords each time).
