R. J. Toal

According to our database, R. J. Toal authored at least 1 paper in 1991.

Collaborative distances:

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

1991

Case Studies in Compiler Correctness Using HOL.

David F. Martin, R. J. Toal

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991