Travelled to:1 × Canada
1 × United Kingdom
Collaborated with:A.Ireland
Talks about:autom (2) theorem (1) program (1) freedom (1) analysi (1) integr (1) except (1) prove (1) proof (1)
Person: Bill J. Ellis
DBLP: Ellis:Bill_J=
Contributed to:
2004
2003Wrote 2 papers:
- IFM-2004-EllisI #automation #integration #program analysis #proving #theorem proving
- An Integration of Program Analysis and Automated Theorem Proving (BJE, AI), pp. 67–86.
- ASE-2003-EllisI #automation #exception #proving
- Automation for Exception Freedom Proofs (BJE, AI), pp. 343–346.