Richard C. Moore
According to our database1,
Richard C. Moore
authored at least 4 papers
between 1988 and 1994.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1994
Formal approaches to computing and information technology, Springer, ISBN: 978-3-540-19813-0, 1994
1991
Mural - a formal development support system.
Springer, ISBN: 3-540-19651-X, 1991
1988
Proceedings of the VDM '88, 1988