Author Info
Name
Affiliation
Papers
WILL ATKINSON
Dept. of Adv. Comput., AEA Technol., Harwell, UK|c|
1
Collaborators
Citations 
PageRank 
1
9
2.90
Referers 
Referees 
References 
15
0
0
Title
Citations
PageRank
Year
Proving properties of a safety-critical system92.901991