Author: Jim Woodcock
Publications
Publication period start: 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. https://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. https://doi.ieeecomputersociety.org/10.1109/MC.2006.340