R. L. Harris

Publication Activity (10 Years)

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

Publications

Eleanor M. Mayger, M. D. Francis, R. L. Harris, Gerry Musgrave, Michael P. Fourman
The need for a core method DIALOG - Linking formal proof to the design environment. Microprocessing and Microprogramming 32 (1-5) (1991)