Jim Woodcock

10 published titles

Software engineering mathematics : formal methods demystified

1 edition

3rd refinement workshop : proceedings of the 3rd Refinement Workshop : organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxfor

(Contributor)

1 edition

Using Z : specification, refinement, and proof

1 edition

Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Professor Sir Antony Hoare

(Contributor)

1 edition

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

(Contributor)

1 edition

Refinement techniques in software engineering : first Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 ; revised lectures

(Contributor)

1 edition

Theoretical aspects of computing - ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings

(Contributor)

1 edition

Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013, advanced lectures

(Contributor)

1 edition

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday

(Contributor)

1 edition

FM'99 _ formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

(Contributor)

1 edition