Davies, Jim.
Davies, Jim, 1964-
VIAF ID: 116841645 (Personal)
Permalink: http://viaf.org/viaf/116841645
Preferred Forms
-
100 1 _ ‡a Davies, Jim
-
100 1 0 ‡a Davies, Jim, ‡d 1964-
-
100 1 _ ‡a Davies, Jim
-
100 1 _ ‡a Davies, Jim.
-
100 1 _ ‡a Davies, Jim, ‡d 1964-
-
100 1 _ ‡a Davies, Jim (undifferentiated)
-
100 1 _ ‡a Davies, Jim
-
100 1 _ ‡a Davies, Jim
4xx's: Alternate Name Forms (1)
Selected Titles
- Using Z : specification, refinement, and proof
(3)
- Specification and proof in real-time CSP, 1993:
(3)
- Integrated formal methods
(2)
- Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
(2)
- ICFEM 2004
(2)
- Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
(2)
- millennial perspectives in computer science: proceedings of the 1999 oxford-[[microsoft]] symposium in honour of sir [[tony hoare]]
(1)
- Using Z
(1)
- Promoting learning
(1)
- Proceedings of the first international workshop on formal methods education and training
(1)
