Richard C. Moore
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
1988–1991
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1991 | FM | MURAL and SPECBOX. | Richard C. Moore, Peter K. D. Froome |
| 1988 | FM | MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant. | Cliff B. Jones, Richard C. Moore |