P. J. Lupton

Publication Activity (10 Years)

Years Active: 1990-1990
Publications (10 Years): 0

Publications

P. J. Lupton
Promoting Forward Simulation. Z User Workshop (1990)
Paul H. B. Gardiner, P. J. Lupton, Jim Woodcock
A Simpler Semantics for Z. Z User Workshop (1990)