DBLP BibTeX Record 'journals/corr/abs-1203-6859'

@article{DBLP:journals/corr/abs-1203-6859,
  author    = {Matthew J. Parkinson and
               Alexander J. Summers},
  title     = {The Relationship Between Separation Logic and Implicit Dynamic
               Frames},
  journal   = {Logical Methods in Computer Science},
  volume    = {8},
  number    = {3},
  year      = {2012},
  ee        = {http://dx.doi.org/10.2168/LMCS-8(3:1)2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}