R. L. Harris

According to our database, R. L. Harris authored at least 1 paper in 1991.

Collaborative distances:

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

1991

The need for a core method DIALOG - Linking formal proof to the design environment.

Eleanor M. Mayger, M. D. Francis, R. L. Harris, Gerry Musgrave, Michael P. Fourman

Microprocessing and Microprogramming, 1991