Trevor Vickers

Publication Activity (10 Years)

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

Publications

Carroll Morgan, Trevor Vickers
Types and Invariants in the Refinement Calculus. Sci. Comput. Program. 14 (2-3) (1990)