Author Info
Name
Papers
Collaborators
MARC SANGO
1
3
Citations 
PageRank 
Referers 
2
0.35
2
Referees 
References 
32
16
Title
Citations
PageRank
Year
Maximal and Compositional Pattern-Based Loop Invariants.20.352012