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
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings Jones Cliff Heftet / 2014 / Engelsk
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday Jones Cliff Heftet / 2018 / Engelsk
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective Besnard Denis Heftet / 2005 / Engelsk
