TY  - RPRT
TI  - Veer: Verifying Equivalence of Dataflow Versions in Iterative Data Analytics (Extended Version)
AU  - Sadeem Alsudais
AU  - Avinash Kumar
AU  - Chen Li
PY  - 2023
UR  - https://arxiv.org/abs/2309.13762
ID  - 2309.13762
ER  -