Author Info
Name
Affiliation
Papers
ANDREW COOK
School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, Scotland EH14 4AS
1
Collaborators
Citations 
PageRank 
4
6
0.43
Referers 
Referees 
References 
9
58
31
Title
Citations
PageRank
Year
An Integrated Approach to High Integrity Software Verification60.432006