"Verifying the Correctness of Analytic Query Results."

Masoud Nosrati, Ying Cai (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics