Cliff B. Jones

Publication Statistics

Publication period start
1996
Publication period end
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. http://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.