Lindsay J. Groves

Publication Activity (10 Years)

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

Publications

Raymond G. Nickson, Lindsay J. Groves
Metavariables and Conditional Refinements in the Refinement Calculus. Refine (1994)
Mike Ainsworth, A. H. Cruickshank, Peter J. L. Wallis, Lindsay J. Groves
Viewpoint specification and Z. Inf. Softw. Technol. 36 (1) (1994)
Lindsay J. Groves, William J. Rogers
The design of a virtual machine for Ada. SIGPLAN (1980)