Cliff Jones profile picture

Cliff Jones

FM 2014: Formal Methods
Echoes: Die Geschichte hinter jedem Pink Floyd Song, 1967 - 1995
Winning Thrgh Integ
Symposium on Real-Time and Hybrid Systems
Object Orientation with Parallelism and Persistence
Water Runs Slow Through Flat Land
Winning Through Integrity
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
5th Refinement Workshop Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992
Living History Anthology Perspectives from ALHFAM
Living History Anthology: Perspectives from ALHFAM
Reflections on the Work of C.A.R. Hoare

See All