%0 Journal Article %1 journals/corr/abs-2202-05872 %A Grannan, Zachary %A Vazou, Niki %A Darulova, Eva %A Summers, Alexander J. %D 2022 %J CoRR %K dblp %T REST: Integrating Term Rewriting with Program Verification (Extended Version). %U http://dblp.uni-trier.de/db/journals/corr/corr2202.html#abs-2202-05872 %V abs/2202.05872

@article{journals/corr/abs-2202-05872, added-at = {2022-02-18T00:00:00.000+0100}, author = {Grannan, Zachary and Vazou, Niki and Darulova, Eva and Summers, Alexander J.}, biburl = {https://www.bibsonomy.org/bibtex/25a78960364028ca2abc9704c92b50893/dblp}, ee = {https://arxiv.org/abs/2202.05872}, interhash = {273070c25abe3126ae493c3bf0e6aa01}, intrahash = {5a78960364028ca2abc9704c92b50893}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:51:55.000+0200}, title = {REST: Integrating Term Rewriting with Program Verification (Extended Version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2202.html#abs-2202-05872}, volume = {abs/2202.05872}, year = 2022 }