Cliff B. Jones Books

Reflections on the Work of C.A.R. Hoare Reflections on the Work of C.A.R. Hoare
2010
Methods, Models and Tools for Fault Tolerance Methods, Models and Tools for Fault Tolerance
2009