%0 Conference Paper %1 conf/itp/Myreen10 %A Myreen, Magnus O. %B ITP %D 2010 %E Kaufmann, Matt %E Paulson, Lawrence C. %I Springer %K dblp %P 485-489 %T Separation Logic Adapted for Proofs by Rewriting. %U http://dblp.uni-trier.de/db/conf/itp/itp2010.html#Myreen10 %V 6172 %@ 978-3-642-14051-8

@inproceedings{conf/itp/Myreen10, added-at = {2017-05-21T00:00:00.000+0200}, author = {Myreen, Magnus O.}, biburl = {https://www.bibsonomy.org/bibtex/2f5db95ff69e76233d61626fecfe4d77c/dblp}, booktitle = {ITP}, crossref = {conf/itp/2010}, editor = {Kaufmann, Matt and Paulson, Lawrence C.}, ee = {https://doi.org/10.1007/978-3-642-14052-5_34}, interhash = {27cdc6a17c82c943b69b1b0a3fced6cc}, intrahash = {f5db95ff69e76233d61626fecfe4d77c}, isbn = {978-3-642-14051-8}, keywords = {dblp}, pages = {485-489}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:14:30.000+0200}, title = {Separation Logic Adapted for Proofs by Rewriting.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2010.html#Myreen10}, volume = 6172, year = 2010 }