Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Richard C. Moore
1990 – 1999
- 1991
[b1]Clifford B. Jones, K. D. Jones, Peter Alexander Lindsay, Richard C. Moore: Mural - a formal development support system. Springer 1991, ISBN 3-540-19651-X, pp. I-XIII, 1-421
[c2]
1980 – 1989
- 1988
[c1]Cliff B. Jones, Richard C. Moore: MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant. VDM Europe 1988: 337-375
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:26 CET by the dblp team



