Author: Cliff B. Jones
Publication Overview
Publication period start: 2006
Number of co-authors: 16
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
Bowen,
Jonathan P.,
Butler,
Ricky W.,
Dill,
David L.,
Glass,
Robert L.,
Gries,
David,
Hall,
Anthony,
Hinchey,
Michael G.,
Holloway,
C. Michael,
Jackson,
Daniel,
Jones,
Cliff B.,
Lutz,
Michael J.,
Parnas,
David Lorge,
Rushby,
John M.,
Wing,
Jeannette M.,
Zave,
Pamela
(1996):
An Invitation to Formal Methods.
In
IEEE Computer,
29
(4)
pp. 16-30.