Author Info
Name
Affiliation
Papers
BILL J. ELLIS
School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, Scotland EH14 4AS
3
Collaborators
Citations 
PageRank 
5
16
1.30
Referers 
Referees 
References 
24
64
61
Title
Citations
PageRank
Year
An Integrated Approach to High Integrity Software Verification60.432006
Invariant Patterns for Program Reasoning50.392004
Automation for exception freedom proofs50.482003