TY  - RPRT
TI  - Verifying Equivalence of Database-Driven Applications
AU  - Yuepeng Wang
AU  - Isil Dillig
AU  - Shuvendu K. Lahiri
AU  - William R. Cook
PY  - 2017
UR  - https://arxiv.org/abs/1710.07660
ID  - 1710.07660
ER  -