BCS-FACS Nothern Formal Methods Workshop
Proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996.
Published on 18. February 1997
Book
Paperback/Softback
VI, 10 pages
978-3-540-76117-4 (ISBN)
Description
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).