P.G. Bishop

• Dependability of Critical Computer Systems