Author: Cliff B. Jones

Publications

Co-authors

Pamela Zave

1

Peter W. O\'Hearn

1

Jim Woodcock

1

Productive Colleagues

David Lorge Parnas

29

David Gries

31

Robert L. Glass

48

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.