%0 Conference Paper %1 conf/csl/OHearnRY01 %A O'Hearn, Peter W. %A Reynolds, John C. %A Yang, Hongseok %B CSL %D 2001 %E Fribourg, Laurent %I Springer %K dblp %P 1-19 %T Local Reasoning about Programs that Alter Data Structures. %U http://dblp.uni-trier.de/db/conf/csl/csl2001.html#OHearnRY01 %V 2142 %@ 3-540-42554-3

@inproceedings{conf/csl/OHearnRY01, added-at = {2017-05-24T00:00:00.000+0200}, author = {O'Hearn, Peter W. and Reynolds, John C. and Yang, Hongseok}, biburl = {https://www.bibsonomy.org/bibtex/22a3b50fefc6e3955da6079e4d9b9935d/dblp}, booktitle = {CSL}, crossref = {conf/csl/2001}, editor = {Fribourg, Laurent}, ee = {https://doi.org/10.1007/3-540-44802-0_1}, interhash = {bf86cb60ad911d87ea58906a9375ae52}, intrahash = {2a3b50fefc6e3955da6079e4d9b9935d}, isbn = {3-540-42554-3}, keywords = {dblp}, pages = {1-19}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:34:27.000+0200}, title = {Local Reasoning about Programs that Alter Data Structures.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2001.html#OHearnRY01}, volume = 2142, year = 2001 }