Richard C. Moore

Publication Activity (10 Years)

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

Publications

Richard C. Moore, Peter K. D. Froome
MURAL and SPECBOX. VDM Europe (1) (1991)
Cliff B. Jones, Richard C. Moore
MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant. VDM Europe (1988)