Bill J. Ellis

Publication Activity (10 Years)

Years Active: 2003-2006
Publications (10 Years): 0

Publications

Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
An Integrated Approach to High Integrity Software Verification. J. Autom. Reason. 36 (4) (2006)
Bill J. Ellis, Andrew Ireland
An Integration of Program Analysis and Automated Theorem Proving. IFM (2004)
Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen
Invariant Patterns for Program Reasoning. MICAI (2004)
Bill J. Ellis, Andrew Ireland
Automation for Exception Freedom Proofs. ASE (2003)