BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Moore:Richard_C=

Contributed to:

VDM Europe 19881988
VDM Europe (1) 19911991

Wrote 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.
MURAL and SPECBOX (RCM, PKDF), pp. 672–674.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.