%0 Conference Paper %1 conf/cpp/RoweB17 %A Rowe, Reuben N. S. %A Brotherston, James %B CPP %D 2017 %E Bertot, Yves %E Vafeiadis, Viktor %I ACM %K dblp %P 53-65 %T Automatic cyclic termination proofs for recursive procedures in separation logic. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2017.html#RoweB17 %@ 978-1-4503-4705-1

@inproceedings{conf/cpp/RoweB17, added-at = {2024-02-05T00:00:00.000+0100}, author = {Rowe, Reuben N. S. and Brotherston, James}, biburl = {https://www.bibsonomy.org/bibtex/2d4db39b4c0f729ad3b94d4cda68120de/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2017}, editor = {Bertot, Yves and Vafeiadis, Viktor}, ee = {https://doi.org/10.1145/3018610.3018623}, interhash = {747106bd89f7235e042e70eb8f7454ef}, intrahash = {d4db39b4c0f729ad3b94d4cda68120de}, isbn = {978-1-4503-4705-1}, keywords = {dblp}, pages = {53-65}, publisher = {ACM}, timestamp = {2024-04-10T16:45:56.000+0200}, title = {Automatic cyclic termination proofs for recursive procedures in separation logic.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2017.html#RoweB17}, year = 2017 }