Name
Papers
Collaborators
NICOLAS BRETON
1
4
Citations 
PageRank 
Referers 
2
0.37
6
Referees 
References 
18
6
Title
Citations
PageRank
Year
Formal Verification of Industrial Critical Software20.372015