%0 Conference Paper %1 conf/ksem/ShenSW09 %A Shen, Yuming %A Sui, Yuefei %A Wang, Ju %B KSEM %D 2009 %E Karagiannis, Dimitris %E Jin, Zhi %I Springer %K dblp %P 90-99 %T The Dual Spatial Connectives of Separation Logic. %U http://dblp.uni-trier.de/db/conf/ksem/ksem2009.html#ShenSW09 %V 5914 %@ 978-3-642-10487-9

@inproceedings{conf/ksem/ShenSW09, added-at = {2017-05-25T00:00:00.000+0200}, author = {Shen, Yuming and Sui, Yuefei and Wang, Ju}, biburl = {https://www.bibsonomy.org/bibtex/2b6dc82f495010ec263cf91d60413b169/dblp}, booktitle = {KSEM}, crossref = {conf/ksem/2009}, editor = {Karagiannis, Dimitris and Jin, Zhi}, ee = {https://doi.org/10.1007/978-3-642-10488-6_12}, interhash = {65be04dd687a84737c5092235692d23c}, intrahash = {b6dc82f495010ec263cf91d60413b169}, isbn = {978-3-642-10487-9}, keywords = {dblp}, pages = {90-99}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:46:11.000+0200}, title = {The Dual Spatial Connectives of Separation Logic.}, url = {http://dblp.uni-trier.de/db/conf/ksem/ksem2009.html#ShenSW09}, volume = 5914, year = 2009 }