TY  - RPRT
TI  - CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples
AU  - Yuxin Wang
AU  - Zeyu Ding
AU  - Daniel Kifer
AU  - Danfeng Zhang
PY  - 2020
DO  - 10.1145/3372297.3417282
UR  - https://arxiv.org/abs/2008.07485
ID  - 2008.07485
ER  -