Masoud Nosrati, Ying Cai. Verifying the Correctness of Analytic Query Results (Extended Abstract). In 39th IEEE International Conference on Data Engineering, ICDE 2023, Anaheim, CA, USA, April 3-7, 2023. pages 3895-3896, IEEE, 2023. [doi]
Abstract is missing.