Living History AnthologyMartha B. Katz-Hyman, Cliff Jones, Susan J. McCabe, Mary Seelhorst · First published 2018Open the Tome
Reflections on the Work of C.A.R. HoareCliff B. Jones, A.W. Roscoe, Kenneth R. Wood · First published 2014Open the Tome
Dependable And Historic Computing Essays Dedicated To Brian Randell On The Occasion Of His 75th BirthdayCliff B. Jones · First published 2011Open the Tome
Methods, Models and Tools for Fault ToleranceMichael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna · First published 2009Open the Tome
Communicating Sequential Processes. the First 25 YearsCliff B. Jones,Ali E. Abdallah,Jeff W. Sanders · First published 2008Open the Tome
Formal Methods and Hybrid Real-Time SystemsCliff B. Jones,Jim Woodcock,Zhiming Liu · First published 2008Open the Tome
Rigorous Development of Complex Fault-Tolerant SystemsMichael Butler, Alexander Romanovsky, Cliff B. Jones · First published 2008Open the Tome
Theoretical Aspects of Computing - Ictac 2007Cliff B. Jones,Zhiming Liu,Jones Woodcock · First published 2008Open the Tome
Theoretical Aspects of Computing - ICTAC 2007Cliff B. Jones, Zhiming Liu, Jones Woodcock · First published 2007Open the Tome
Communicating Sequential Processes. the First 25 YearsAli E. Abdallah, Cliff B. Jones, Jeff W. Sanders · First published 2005Open the Tome
5th Refinement WorkshopRefinement Workshop (5th 1992 London, England), Cliff B. Jones, Roger C. Shaw · First published 1992Open the Tome
Development methods for computer programs including a notion of interferenceCliff B. Jones · First published 1981Open the Tome
