Jim Woodcook

No bio available. Add one in Open Library.

Books by Jim Woodcook (50 max)

+ shelf+ list

FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II

2003

Jeannette M. Wing, Jim Woodcook, Jim Davies

+ shelf+ list

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

2010

Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook