Paper Info
Title
The Relationship Between Separation Logic and Implicit Dynamic Frames
Year
DOI
Venue
2012
10.2168/LMCS-8(3:1)2012
Logical Methods in Computer Science
DocType
Volume
Citations 
Journal
8
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Matthew J. Parkinson126715.09
Alexander J. Summers202.70