R. J. Toal

Publication Activity (10 Years)

Years Active: 1991-1991
Publications (10 Years): 0

Publications

David F. Martin, R. J. Toal
Case Studies in Compiler Correctness Using HOL. TPHOLs (1991)