Cliff Jones Papers on DiSC'06 The Atomic Manifesto: a Story in Four Quarks Publications Note: Links lead to the DBLP on the Web. Cliff Jones Cliff Jones, Peter W. O'Hearn , Jim Woodcock : Verified Software: A Grand Challenge. IEEE Computer 39 (4): 93-95 (2006) 1 [ 1 ] 2 [ 1 ] ©2006 Association for Computing Machinery