Author Info
Name
Affiliation
Papers
IGNACIO FÁBREGAS
IMDEA Software Institute, Spain
1
Collaborators
Citations 
PageRank 
3
1
0.35
Referers 
Referees 
References 
5
0
0
Title
Citations
PageRank
Year
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations.10.352019