Includes index.
Safety and reliability of software based systems : twelfth annual CSR workshop (Bruges 12-15 September 1995). ISBN 3540760342. Published by Springer in 1997. Publication and catalogue information, links to buy online and reader comments.