Brian T. Graham

Publication Activity (10 Years)

Years Active: 1989-1995
Publications (10 Years): 0

Publications

Simon W. Moore, Brian T. Graham
Tagged Up/Down Sorter - A Hardware Priority Queue. Comput. J. 38 (9) (1995)
Brian T. Graham
An Interpretation of NODEN in HOL. TPHOLs (1994)
Todd Simpson, Graham M. Birtwistle, Brian T. Graham
Towards a verified MiniSML/SECD system. Softw. Eng. J. 8 (3) (1993)
Brian T. Graham, Graham M. Birtwistle
Formalising the Design of an SECD chip. Hardware Specification, Verification and Synthesis (1989)