@conference {97, title = {Preserving differential privacy under finite-precision semantics}, booktitle = {Proceedings of the Eleventh Workshop on Quantitative Aspects of Programming Languages (QAPL)}, year = {2013}, publisher = {Open Publishing Association}, organization = {Open Publishing Association}, doi = {10.4204/EPTCS.117.1}, url = {http://hal.inria.fr/hal-00780774}, author = {Ivan Gazeau and Dale Miller and Catuscia Palamidessi}, editor = {Bortolussi, Luca and Wiklicky, Herbert} }