J. R. Hulance

Publication Activity (10 Years)

Years Active: 1994-1995
Publications (10 Years): 0

Publications

A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood
Dining Philosophers for Deadlock. TACAS (1995)
Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance
The Formal Specification in Z of Defence Standard 00-56. Z User Workshop (1994)