Jim Davies
Books
- Garfield
- Riveted Lib/E
- Integrated Formal Methods
- Engineering Agile Big-Data Systems
- Formal methods and software engineering
- Specification and Proof in Real Time CSP
- FM'99 - Formal Methods
- Imagination
- Formal Methods: Foundations and Applications
- Proceedings of the 5th International Conference on Theory and Practice of Electronic Governance
- Riveted
- Being the Person Your Dog Thinks You Are
Author data: Open Library