Richard C. Moore

According to our database, Richard C. Moore authored at least 4 papers between 1988 and 1994.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1994

Proof in VDM: A Practitioner's Guide

Juan Bicarregui, John S. Fitzgerald, Peter A. Lindsay, Richard C. Moore, Brian Ritchie

Formal approaches to computing and information technology, Springer, ISBN: 978-3-540-19813-0, 1994

1991

MURAL and SPECBOX.

Richard C. Moore, Peter K. D. Froome

Proceedings of the VDM '91, 1991

Mural - a formal development support system.

Clifford B. Jones, K. D. Jones, Peter Alexander Lindsay, Richard C. Moore

Springer, ISBN: 3-540-19651-X, 1991

1988

MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant.

Cliff B. Jones, Richard C. Moore

Proceedings of the VDM '88, 1988