Formal Methods and Hybrid Real-Time Systems More Books by Cliff B. Jones, Zhiming Liu & Jim Woodcock

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