Jim Woodcock

Using Z : Specification, Refinement, and Proof

By Jim Woodcock, Woodcock, Jim, J. C. P., Davies

Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare (Cornerstones of Computing)

By Jim Davies, Bill Roscoe, Jim Woodcock