%0 Journal Article %1 journals/corr/abs-1203-6859 %A Parkinson, Matthew J. %A Summers, Alexander J. %D 2012 %J Logical Methods in Computer Science %K dblp %N 3 %T The Relationship Between Separation Logic and Implicit Dynamic Frames %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1203-6859 %V 8

@article{journals/corr/abs-1203-6859, added-at = {2019-05-14T00:00:00.000+0200}, author = {Parkinson, Matthew J. and Summers, Alexander J.}, biburl = {https://www.bibsonomy.org/bibtex/27ad8952666e4e832f4bd32554072e78d/dblp}, ee = {http://arxiv.org/abs/1203.6859}, interhash = {74495b85e7a309502ad82804f95173c1}, intrahash = {7ad8952666e4e832f4bd32554072e78d}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 3, timestamp = {2019-05-15T11:50:25.000+0200}, title = {The Relationship Between Separation Logic and Implicit Dynamic Frames}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1203-6859}, volume = 8, year = 2012 }