Author Info
Name
Affiliation
Papers
IAN TOYN
Univ York, Dept Comp Sci, York YO1 5DD, N Yorkshire, England
1
Collaborators
Citations 
PageRank 
6
10
0.76
Referers 
Referees 
References 
21
43
22
Title
Citations
PageRank
Year
Towards Industrially Applicable Formal Methods: Three Small Steps, and One Giant Leap100.761998