Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000114556948 | 1 hits
Person
ISNI: 
0000 0001 1455 6948
Name: 
Davies, James William
Davies, Jim,
Davies, Jim ((computer scientist))
Dates: 
1964-
Creation class: 
Computer file
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Barnett, Mike
FM '99 (1999 ; Tuluza)
Gibbons, Jeremy
Hinchey, Michael Gerard
Oxford University Computing Laboratory Programming Research Group
Prentice Hall
Schulte, Wolfram
Wing, Jeanette M.
Wing, Jeannette Marie
Woodcock, Jim
World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France)
Titles: 
FM '99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Formal Methods in the Development of Computing Systems
ICFEM 2004
IFM 2007
Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
millennial perspectives in computer science: proceedings of the 1999 oxford-[[microsoft]] symposium in honour of sir [[tony hoare]]
Proceedings of the first international workshop on formal methods education and training
Specification and proof in real-time CSP, 1993:
Specification and proof in real-time systems
Using Z : specification, refinement, and proof
Notes: 
Thesis (Ph. D.)--University of Oxford, Oxford, 1991
Sources: 
VIAF LC NDL NKC NTA NUKAT SUDOC WKP