Verifying the Correctness of Analytic Query Results (Extended Abstract).

Masoud Nosrati, Ying Cai

Browse the full ICDE paper archive.