Travelled to:1 × Ireland
1 × The Netherlands
Collaborated with:C.B.Jones P.K.D.Froome
Talks about:interfac (1) theorem (1) specbox (1) muffin (1) experi (1) design (1) assist (1) prove (1) mural (1) user (1)
Person: Richard C. Moore
DBLP: Moore:Richard_C=
Contributed to:
19881991Wrote 3 papers:
- VDME-1988-JonesM #design #empirical #named #proving #theorem proving #user interface
- MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant (CBJ, RCM), pp. 337–375.
- VDME-1991-MooreF
- MURAL and SPECBOX (RCM, PKDF), pp. 672–674.