%0 Conference Paper %1 conf/lics/CalcagnoOY07 %A Calcagno, Cristiano %A O'Hearn, Peter W. %A Yang, Hongseok %B LICS %D 2007 %I IEEE Computer Society %K dblp %P 366-378 %T Local Action and Abstract Separation Logic. %U http://dblp.uni-trier.de/db/conf/lics/lics2007.html#CalcagnoOY07 %@ 0-7695-2908-9

@inproceedings{conf/lics/CalcagnoOY07, added-at = {2023-03-24T00:00:00.000+0100}, author = {Calcagno, Cristiano and O'Hearn, Peter W. and Yang, Hongseok}, biburl = {https://www.bibsonomy.org/bibtex/21fe9ddaf94dd31ee6c7aa853745e74d0/dblp}, booktitle = {LICS}, crossref = {conf/lics/2007}, ee = {https://www.wikidata.org/entity/Q56445147}, interhash = {4b9ef55bf823da6510ca4364db2819ba}, intrahash = {1fe9ddaf94dd31ee6c7aa853745e74d0}, isbn = {0-7695-2908-9}, keywords = {dblp}, pages = {366-378}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:01:33.000+0200}, title = {Local Action and Abstract Separation Logic.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2007.html#CalcagnoOY07}, year = 2007 }