%0 Conference Paper %1 conf/fossacs/YangO02 %A Yang, Hongseok %A O'Hearn, Peter W. %B FoSSaCS %D 2002 %E Nielsen, Mogens %E Engberg, Uffe %I Springer %K dblp %P 402-416 %T A Semantic Basis for Local Reasoning. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2002.html#YangO02 %V 2303 %@ 3-540-43366-X

@inproceedings{conf/fossacs/YangO02, added-at = {2017-05-23T00:00:00.000+0200}, author = {Yang, Hongseok and O'Hearn, Peter W.}, biburl = {https://www.bibsonomy.org/bibtex/2cc061f931e82e21ac9043b9d312b6d14/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2002}, editor = {Nielsen, Mogens and Engberg, Uffe}, ee = {https://doi.org/10.1007/3-540-45931-6_28}, interhash = {da45dabe4af10aa6a24ae92376cfa2a2}, intrahash = {cc061f931e82e21ac9043b9d312b6d14}, isbn = {3-540-43366-X}, keywords = {dblp}, pages = {402-416}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:33:18.000+0200}, title = {A Semantic Basis for Local Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2002.html#YangO02}, volume = 2303, year = 2002 }