Brian T. Graham

	1995
3		Simon W. Moore, Brian T. Graham: Tagged Up/Down Sorter - A Hardware Priority Queue. Comput. J. 38(9): 695-703 (1995)
	1994
2		Brian T. Graham: An Interpretation of NODEN in HOL. TPHOLs 1994: 221-234
	1989
1		Brian T. Graham, Graham M. Birtwistle: Formalising the Design of an SECD chip. Hardware Specification, Verification and Synthesis 1989: 40-66

Coauthor Index

1	Graham M. Birtwistle	[1]
2	Simon W. Moore	[3]

Colors in the list of coauthors