Author Info
Name
Affiliation
Papers
GUILLAUME ALLAIS
Radboud University Nijmegen, Netherlands
1
Collaborators
Citations 
PageRank 
3
5
0.45
Referers 
Referees 
References 
9
35
19
Title
Citations
PageRank
Year
Type-and-scope safe programs and their proofs.50.452017