Author Info
Name
Affiliation
Papers
JÉRÉMIE KOENIG
Yale Univ, New Haven, CT 06520 USA
1
Collaborators
Citations 
PageRank 
4
4
0.44
Referers 
Referees 
References 
17
22
12
Title
Citations
PageRank
Year
A Compositional Semantics for Verified Separate Compilation and Linking40.442015