Jones, C. B.
1944
Books
- Formal methods and hybrid real-time systems
- The Vienna development method
- The Vienna development method
- Structure for dependability
- Software development
- Reflections on the work of C.A.R. Hoare
- The Vienna development method
- Case studies in systematic software development
- Mural
- Systematic software development using VDM
Author data: Open Library