|
Search the dblp DataBase
Bill J. Ellis:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Bill J. Ellis, Andrew Ireland
An Integration of Program Analysis and Automated Theorem Proving. [Citation Graph (0, 0)][DBLP] IFM, 2004, pp:67-86 [Conf]
- Bill J. Ellis, Andrew Ireland
Automation for Exception Freedom Proofs. [Citation Graph (0, 0)][DBLP] ASE, 2003, pp:343-346 [Conf]
- Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen
Invariant Patterns for Program Reasoning. [Citation Graph (0, 0)][DBLP] MICAI, 2004, pp:190-201 [Conf]
- Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
An Integrated Approach to High Integrity Software Verification. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:36, n:4, pp:379-410 [Journal]
Search in 0.001secs, Finished in 0.001secs
|