Author: Peter W. O\'Hearn
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