Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings Jones Cliff B. Heftet / 2007 / Engelsk
Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday Jones Cliff B. Heftet / 2011 / Engelsk
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings Fitzgerald, John Heftet / 1997 / Engelsk
Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays Jones Cliff B. Heftet / 2007 / Engelsk
5th Refinement Workshop Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992 Jones Cliff B. Heftet / 1992 / Engelsk
Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers Abdallah Ali E. Heftet / 2005 / Engelsk
