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

Formal Methods and Hybrid Real-Time Systems

2007

Methods, Models and Tools for Fault Tolerance

2009