Bill J. Ellis

	2006
4		Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes: An Integrated Approach to High Integrity Software Verification. J. Autom. Reasoning 36(4): 379-410 (2006)
	2004
3		Bill J. Ellis, Andrew Ireland: An Integration of Program Analysis and Automated Theorem Proving. IFM 2004: 67-86
2		Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen: Invariant Patterns for Program Reasoning. MICAI 2004: 190-201
	2003
1		Bill J. Ellis, Andrew Ireland: Automation for Exception Freedom Proofs. ASE 2003: 343-346

Coauthor Index

1	Janet Barnes	[4]
2	Roderick Chapman	[4]
3	Andrew Cook	[4]
4	Tommy Ingulfsen	[2]
5	Andrew Ireland	[1] [2] [3] [4]