C. B. Jones

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Systematic Software Development Using VDM

C. B. Jones (1990) · Prentice Hall

A support system for formal reasoning: Requirements and status

C. B. Jones and others (1988) · VDM '88 VDM — The Way Ahead · Springer Berlin Heidelberg

Systematic Program Development

C. B. Jones (1986) · Software Specification Techniques · Addison-Wesley

Tentative steps toward a development method for interfering programs

C. B. Jones (1983) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery (ACM)