Author Info
Name
Affiliation
Papers
ERIC BOTCAZOU
AdaCore, Paris, France
2
Collaborators
Citations 
PageRank 
3
2
0.77
Referers 
Referees 
References 
7
3
2
Title
Citations
PageRank
Year
Lady Ada Mediates Peace Treaty in Endianness War.00.342013
SPARKSkein: a formal and fast reference implementation of skein20.432011