Statistics
Publications
2
Citations
24
H-Index
2
Active since
2006
Affiliations
Heriot-Watt University(Current)
Bill J. Ellis is an author at Heriot-Watt University specializing in formal methods, system software, and program analysis.
Publications per year
2006–2007
2
2
An Integrated Approach to High Integrity Software Verification
Andrew Ireland, Bill J. Ellis, A. Cook et al. · Journal of Automated Reasoning · 2006 · 14 citations
Using SMT solvers to verify high-integrity programs
Paul B. Jackson, Bill J. Ellis, Kathleen Sharp · 2007 · 10 citations
1–2 of 2