Neophytos G. Michael

	2003
2		Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga: A Trustworthy Proof Checker. J. Autom. Reasoning 31(3-4): 231-260 (2003)
	2000
1		Neophytos G. Michael, Andrew W. Appel: Machine Instruction Syntax and Semantics in Higher Order Logic. CADE 2000: 7-24

Coauthor Index

1	Andrew W. Appel	[1] [2]
2	Aaron Stump	[2]
3	Roberto Virga	[2]