Anthony C. J. Fox

	2007
7		Magnus O. Myreen, Anthony C. J. Fox, Michael J. C. Gordon: Hoare Logic for ARM Machine Code. FSEN 2007: 272-286
	2005
6		Anthony C. J. Fox: An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL. CALCO 2005: 157-174
	2003
5		Anthony C. J. Fox: Formal Specification and Verification of ARM6. TPHOLs 2003: 25-40
4		Anthony C. J. Fox, Neal A. Harman: Algebraic models of correctness for abstract pipelines. J. Log. Algebr. Program. 57(1-2): 71-107 (2003)
	2000
3		Anthony C. J. Fox, Neal A. Harman: Algebraic Models of Correctness for Microprocessors. Formal Asp. Comput. 12(4): 298-312 (2000)
	1998
2		Anthony C. J. Fox, Neal A. Harman: Algebraic Models of Superscalar Microprocessor Implementations: A Case Study. Prospects for Hardware Foundations 1998: 138-183
	1996
1		Anthony C. J. Fox, Neal A. Harman: An Algebraic Model of Correctness for Superscalar Microprocessors. FMCAD 1996: 346-361

Coauthor Index

1	Michael J. C. Gordon	[7]
2	Neal A. Harman	[1] [2] [3] [4]
3	Magnus O. Myreen	[7]

Colors in the list of coauthors