Reflections on the Work of C.A.R. Hoare More Books by Cliff B. Jones, A.W. Roscoe & Kenneth R. Wood

Methods, Models and Tools for Fault Tolerance

2009