Details for the publication LiuWZ18.

Depeng Liu, Bow-Yaw Wang, Lijun Zhang: Model Checking Differentially Private Properties. In Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, volume 11275 of Lecture Notes in Computer Science, pages 394-414, 2018. DOI BIB