%0 Conference Paper %1 conf/ecoop/GrannanVDS22 %A Grannan, Zachary %A Vazou, Niki %A Darulova, Eva %A Summers, Alexander J. %B ECOOP %D 2022 %E Ali, Karim %E Vitek, Jan %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 13:1-13:29 %T REST: Integrating Term Rewriting with Program Verification. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2022.html#GrannanVDS22 %V 222 %@ 978-3-95977-225-9

@inproceedings{conf/ecoop/GrannanVDS22, added-at = {2022-06-23T00:00:00.000+0200}, author = {Grannan, Zachary and Vazou, Niki and Darulova, Eva and Summers, Alexander J.}, biburl = {https://www.bibsonomy.org/bibtex/2c38e28ba35becb49dc7dc4b2cdb67312/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2022}, editor = {Ali, Karim and Vitek, Jan}, ee = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.13}, interhash = {801ba1442f8cfd79effc6df684db1753}, intrahash = {c38e28ba35becb49dc7dc4b2cdb67312}, isbn = {978-3-95977-225-9}, keywords = {dblp}, pages = {13:1-13:29}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T17:11:26.000+0200}, title = {REST: Integrating Term Rewriting with Program Verification.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2022.html#GrannanVDS22}, volume = 222, year = 2022 }