Jim Woodcock

发表

Mathematics of Program Construction: Proceedings of the 2nd International Conference, Oxford, U. K., June-July 1992

Carroll Morgan, Richard S. Bird, Jim Woodcock, 1993 .

Verifying the Properties of a Railway Signalling Device

Alistair A. McEwan, Jim Woodcock, 2002 .

An Overview of the Verification of a Handel-C Program

Alistair A. McEwan, Jim Woodcock, 2000 .