%0 Conference Paper %1 conf/aplas/PerezR13 %A Pérez, Juan Antonio Navarro %A Rybalchenko, Andrey %B APLAS %D 2013 %E chieh Shan, Chung %I Springer %K dblp %P 90-106 %T Separation Logic Modulo Theories. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2013.html#PerezR13 %V 8301 %@ 978-3-319-03541-3

@inproceedings{conf/aplas/PerezR13, added-at = {2017-05-19T00:00:00.000+0200}, author = {Pérez, Juan Antonio Navarro and Rybalchenko, Andrey}, biburl = {https://www.bibsonomy.org/bibtex/2d294f21523c77ed4dea3dad2efe1218b/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2013}, editor = {chieh Shan, Chung}, ee = {https://doi.org/10.1007/978-3-319-03542-0_7}, interhash = {3b4b1ded77688da21d66a313bb866dd8}, intrahash = {d294f21523c77ed4dea3dad2efe1218b}, isbn = {978-3-319-03541-3}, keywords = {dblp}, pages = {90-106}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:42:01.000+0200}, title = {Separation Logic Modulo Theories.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2013.html#PerezR13}, volume = 8301, year = 2013 }