2nd BCS-FACS Northern Formal Methods Workshop

Over the past five years, the Workshops in Computing series has provided a platform for state of the art research in a wide range of topics within computing science. As of 1996, the series has been published on-line - the aim being to make this important research material available in a more versatile and user-friendly format. The full papers from the 2nd BCS-FACS Northern Formal Methods Workshop are available on-line at: http://ewic. springer. co. uk/ This booklet provides the passwords needed to access the web site. Purchasing the booklet provides the use with unlimited acces s to the site for four years (subject, or course, to entry of the correct passwords each time.)