Paper Info
Title
Synthesising Functional Invariants in Separation Logic.
Year
Venue
DocType
2010
WING@ETAPS/IJCAR
Conference
Citations 
PageRank 
References 
0
0.34
1
Authors
3
Name
Order
Citations
PageRank
Ewen Maclean172.26
Andrew Ireland212215.39
Gudmund Grov310017.38