J
Jim Davies
12 works on record
Works

Formal Methods: Foundations and Applications

Formal methods and software engineering

Riveted

Engineering Agile Big-Data Systems

Riveted Lib/E

Garfield
Imagination
Imagination
Being the Person Your Dog Thinks You Are
Being the Person Your Dog Thinks You Are
Specification and Proof in Real Time CSP
Specification and Proof in Real Time CSP
Integrated Formal Methods
Integrated Formal Methods
FM'99 - Formal Methods
FM'99 - Formal Methods
Proceedings of the 5th International Conference on Theory and Practice of Electronic Governance
Proceedings of the 5th International Conference on Theory and Practice of Electronic Governance