Details for the publication LiuWFZ23.

Depeng Liu, Bow-Yaw Wang, Chen Fu, Lijun Zhang: Model checking differentially private properties. In Theor. Comput. Sci. 943:153-170, 2023. DOI BIB