Jim Davies
Professor
Department of Economics
University of Western Ontario
Canada
Biography
Jim Davies, Professor of Department of Economics at the University of Western Ontario, Canada.
Research Interest
Distribution of Wealth; Tax Policy
Publications
-
Davies J. Specification and proof in real time CSP. Cambridge University Press; 1993 May 20.
-
Davies J, Schneider S. A brief history of Timed CSP. Theoretical Computer Science. 1995 Feb 20;138(2):243-71.
-
Woodcock J, Davies J. Using Z: specification, refinement, and proof. Englewood Cliffs: Prentice Hall; 1996 Jan.
