R. J. Toal
Timeline
1991
0
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1991
Case Studies in Compiler Correctness Using HOL.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991