Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday

Theories of Programming: The Life and Works of Tony Hoare

Methods, Models and Tools for Fault Tolerance

Reflections on the Work of C.A.R. Hoare