Jim Woodcock

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2006
Publication period end
2006
Number of co-authors
2

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Jones, Cliff B., O\'Hearn, Peter W., Woodcock, Jim (2006): Verified Software: A Grand Challenge. In IEEE Computer, 39 (4) pp. 93-95. http://doi.ieeecomputersociety.org/10.1109/MC.2006.145

Woodcock, Jim (2006): First Steps in the Verified Software Grand Challenge. In IEEE Computer, 39 (10) pp. 57-64. http://doi.ieeecomputersociety.org/10.1109/MC.2006.340