Author: Jim Woodcock
Publication Overview
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