%0 Journal Article %1 journals/pacmpl/0001DLC18 %A Wang, Yuepeng %A Dillig, Isil %A Lahiri, Shuvendu K. %A Cook, William R. %D 2018 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 56:1-56:29 %T Verifying equivalence of database-driven applications. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#0001DLC18 %V 2

@article{journals/pacmpl/0001DLC18, added-at = {2021-02-17T00:00:00.000+0100}, author = {Wang, Yuepeng and Dillig, Isil and Lahiri, Shuvendu K. and Cook, William R.}, biburl = {https://www.bibsonomy.org/bibtex/2c14a7faf28290c98efe7f6786983a20c/dblp}, ee = {https://doi.org/10.1145/3158144}, interhash = {1ddf0d0aebfdf6b475b01564ddcb2920}, intrahash = {c14a7faf28290c98efe7f6786983a20c}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {56:1-56:29}, timestamp = {2024-04-08T09:54:58.000+0200}, title = {Verifying equivalence of database-driven applications.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#0001DLC18}, volume = 2, year = 2018 }