Clifford B. Jones - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 7 from 7

2010

Insight, Inspiration and CollaborationClifford B. Jones, A. W. Roscoe. In A. W. Roscoe, Clifford B. Jones, Kenneth R. Wood, editors, Reflections on the Work of C. A. R. Hoare. pages 1-32, Springer, 2010. [doi]

The Role of Auxiliary Variables in the Formal Development of Concurrent ProgramsClifford B. Jones. In A. W. Roscoe, Clifford B. Jones, Kenneth R. Wood, editors, Reflections on the Work of C. A. R. Hoare. pages 167-187, Springer, 2010. [doi]

2006

Structure for dependability - computer-based systems from an interdisciplinary perspectiveDenis Besnard, Cristina Gacek, Clifford B. Jones. Springer, 2006.

1991

Mural - a formal development support systemClifford B. Jones, K. D. Jones, Peter Alexander Lindsay, Richard C. Moore. Springer, 1991.

Systematic software development using VDM (2. ed.)Clifford B. Jones. Prentice Hall International Series in Computer Science, Prentice Hall, 1991.

1986

Systematic software development using VDMClifford B. Jones. Prentice Hall International Series in Computer Science, Prentice Hall, 1986.

1980

Software development - a rigorous approachClifford B. Jones. Prentice Hall international series in computer science, Prentice Hall, 1980.

Sign in or sign up to see more results.

runs on WebDSL