Author Info
Name
Affiliation
Papers
ALEXEY GRINEVICH
Institute for System Programming of Russian Academy of Sciences, Moscow, Russia
1
Collaborators
Citations 
PageRank 
5
9
0.75
Referers 
Referees 
References 
19
17
9
Title
Citations
PageRank
Year
Formal methods in industrial software standards enforcement90.752006